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