/install_scripts

Various scripts useful for a new setup of Ubuntu 18.04

Primary LanguageShell

Watchers