https://github.com/drtrigon/docker-arduino
- TODO:
- https://github.com/Distroshare/distroshare-ubuntu-imager/blob/master/distroshare-ubuntu-imager.config
- https://askubuntu.com/questions/342066/how-to-permanently-configure-keyboard
- https://www.vernier.com/forums/logger-pro-linux/103-logger-pro-for-linux-for-ubuntu-12-and-labquest-2/
- https://travis-ci.org/drtrigon/EducOS/builds/380779245#L8895
Auto-Resetting Live OS for Education of Scholars in Physics
...
Overload Origin with Both Remotes in order to clone and set this repo up use:
$ git clone file://///data/mount/gvfs/smb-share:server=.../01git/EducOS.git
$ cd EducOS
$ git remote set-url --add origin https://github.com/drtrigon/EducOS.git
you can check the settings with:
$ git remote -v
origin /data/mount/gvfs/smb-share:server=.../01git/EducOS.git/ (fetch)
origin /data/mount/gvfs/smb-share:server=.../01git/EducOS.git/ (push)
origin https://github.com/drtrigon/EducOS.git (push)
(needs one single pull/push only)