apt update
 apt -y install wget
 wget "${URL_PUBLIC_KEY}"
-cat "${FILENAME_PUBLIC_KEY}" >> .ssh/authorized_keys
+cat "${FILENAME_PUBLIC_KEY}" >> ~/.ssh/authorized_keys
 rm "${FILENAME_PUBLIC_KEY}" 
 # service sshd restart
 
 # properly apt system
-for root in "${PATH_MANY} ../"; do
+for root in "${PATH_MANY}" '../'; do
     copy_dirtree "${root}/${NAME_ETC_DIR}" "" all
 done
 apt update
 mark_nonrequireds_auto
-for root in "${PATH_MANY} ../"; do
+for root in "${PATH_MANY}" '../'; do
     install_for_modules "${root}/${NAME_APTMARK_DIR}" all
 done
 apt -y --purge autoremove
-apt -y -o Dpkg::Options::="--force-confnew" upgrade
-apt -y -o Dpkg::Options::="--force-confnew" full-upgrade
+apt -y -o Dpkg::Options::='--force-confnew' upgrade
+apt -y -o Dpkg::Options::='--force-confnew' full-upgrade
 
 # Ensure our desired locale is available.
 # locale-gen
 # ln -sf /usr/share/zoneinfo/Europe/Berlin /etc/localtime
 
 # Set up users and their environments.
-for root in "${PATH_MANY} ../"; do
-    copy_dirtree "${root}/${NAME_HOME_DIR}" "/root" minimal root
+for root in "${PATH_MANY}" '../'; do
+    copy_dirtree "${root}/${NAME_HOME_DIR}" '/root' minimal root
 done
 adduser --disabled-password --gecos "" plom
 usermod -a -G sudo plom