Instructions, tutorials, FAQs and settings files for Windows
Last updated 2018-07-13 by Adam Lu
Where do I start?
- TODO
Useful links
- See instructions here for how to access these links on the server.
- Tutorials
- Frequently Asked Questions
- Troubleshooting
Useful notes and templates
How can I update these files on the server?
-
Method 1: Update them directly from the locations:
/media/adamX/Settings_Windows
or~/Settings_Windows
(fishfish)/home/adam/Settings_Windows
(chalkboard)
-
Method 2: Edit them here on GitHub then apply the following commands on the server:
cd ~/Settings_Windows
git_update
bash scripts/setup_binfiles.sh