How to program an attiny85 from arduino ide, in linux.

Having looked at many instruction on the internet, those are the more complete (and working) I have found:

gist.github.com/Ircama/22707e9…

TL;DR:

1) open Arduino Ide from your preferred linux distro (mine is debian/testing)
2) File -> Preferences -> Additional Board Manager Url
3) add this link raw.githubusercontent.com/Armi…
4) ok
5) Tools -> Board Manager, add Digistump AVR Boards
6) Tools -> Board -> Digistump AVR Boards -> Digistump

Now it's all classic "Verify" "Upload" steps to program the attiny85