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:

https://gist.github.com/Ircama/22707e938e9c8f169d9fe187797a2a2c

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 https://raw.githubusercontent.com/ArminJo/DigistumpArduino/master/package_digistump_index.json
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