History for server-setup / setup.sh
2019-01-30
@Daniel Vedder
Merge with origin
Daniel Vedder committed on 30 Jan 2019
@Daniel Vedder
Update to Julia 1.1
Daniel Vedder committed on 30 Jan 2019
2018-07-18
@Daniel Vedder
Fixed a bug in the mkdir call.
Daniel Vedder committed on 18 Jul 2018
2018-07-10
@Daniel Vedder
Bug fixes on setup.sh
Daniel Vedder committed on 10 Jul 2018
@Daniel Vedder
Create necessary directories
Daniel Vedder committed on 10 Jul 2018
@Daniel Vedder
Included apt upgrade in setup process
Daniel Vedder committed on 10 Jul 2018
@Daniel Vedder
Made setup.sh executable
Daniel Vedder committed on 10 Jul 2018
@Daniel Vedder
Added 'chsh fish' to setup.sh
Daniel Vedder committed on 10 Jul 2018
@Daniel Vedder
Wrote setup.sh
Daniel Vedder committed on 10 Jul 2018