4 commits

Author	SHA1	Message	Date
Tom Wiesing	8cc5b57c54	Split into monday_full.sh & monday_short.sh ... This commit splits the 'monday.sh' script into a shell script 'monday_full.sh' (to update, rebuild, and redo all instances) and 'monday_short.sh' (to rebuild only the core system). This brings the scripts in line with our current policy.	2022-07-12 16:30:06 +02:00
Tom Wiesing	01da5b6e91	Rename bash scripts consistently	2022-06-27 13:38:33 +02:00
Tom Wiesing	1d57c95815	Rename & Document backup.sh => backup_all.sh	2022-03-30 15:10:44 +02:00
Tom Wiesing	f4d9235d19	Add distillery/monday.sh	2022-03-21 10:03:49 +01:00