1
0
Fork 0

fixed nested directory creation and added cleanup

This commit is contained in:
Kim, Jimin 2021-08-17 07:44:51 +09:00
parent 22b0c64356
commit dc894dd7a4

View file

@ -166,7 +166,7 @@ setup_deno() {
} }
setup_discord() { setup_discord() {
# assumes that plugins are stored in ~/.config/BetterDiscord/plugins # assumes that plugins are located in ~/.config/BetterDiscord/plugins
package_install \ package_install \
discord \ discord \
@ -249,7 +249,7 @@ setup_fonts() {
# create fonts directory if it does not exist # create fonts directory if it does not exist
if [ ! -d "$fonts_directory" ]; then if [ ! -d "$fonts_directory" ]; then
mkdir "$fonts_directory" mkdir -p "$fonts_directory"
fi fi
# download and unzip font files if they're not downloaded already # download and unzip font files if they're not downloaded already
@ -268,7 +268,7 @@ setup_fonts() {
# create local fonts directory if it does not exist already # create local fonts directory if it does not exist already
if [ ! -d "$font_install_dir" ]; then if [ ! -d "$font_install_dir" ]; then
mkdir "$font_install_dir" mkdir -p "$font_install_dir"
fi fi
# "install" all fonts # "install" all fonts
@ -485,7 +485,7 @@ setup_unity() {
setup_user_directories() { setup_user_directories() {
: :
# edit `~/.config/user-dirs.dirs`: # edit ~/.config/user-dirs.dirs:
# XDG_DESKTOP_DIR="$HOME/Desktop" # XDG_DESKTOP_DIR="$HOME/Desktop"
# XDG_DOWNLOAD_DIR="/media/pomp/data/Downloads" # XDG_DOWNLOAD_DIR="/media/pomp/data/Downloads"
@ -640,6 +640,10 @@ title "MAIN"
# setup_wps_office # setup_wps_office
# setup_zoom # setup_zoom
# #################### [ CLEANUP ] ####################
rm -rf "$SCRIPT_DIR/tmp"
# #################### [ DONE ] #################### # #################### [ DONE ] ####################
# print some info after installation # print some info after installation