Philip Müller d336e57703 [main] remove grub default overlay		2021-03-29 17:04:41 +02:00
..
useradd	use zsh as default shell	2020-11-03 09:20:27 +02:00