Andreas Zweili 67bf564c89 specify the ssh key		2022-01-17 17:52:49 +01:00
..
add-home-manager-channels.sh	increase home-manager to version 21.11	2021-12-17 17:38:19 +01:00
format-disk.py	refactor the format-disk script	2021-12-23 11:22:42 +01:00
install-home-manager.sh	install home-manager in the main configuration	2021-11-22 19:27:52 +01:00
setup_vm_home.sh	update the vm script	2022-01-12 22:32:02 +01:00
update_all_systems.xsh	specify the ssh key	2022-01-17 17:52:49 +01:00