Rename Shared Directory

This commit is contained in:
Devin Dice 2023-01-12 13:57:01 -05:00
parent 88df4e4eed
commit ddf63968f9

View file

@ -119,8 +119,9 @@ fi
bash /cloud9/configure_desktop.sh &
mkdir -p /home/$USER/Workspace/-Shared\ Files-
mkdir -p /home/$USER/Workspace/_Shared_Files_
grep -qxF "/home/$USER/Workspace /workspace none defaults,bind 0 0" /etc/fstab || echo "/home/$USER/Workspace /workspace none defaults,bind 0 0" >> /etc/fstab
grep -qxF "/home/$USER/Workspace/_Shared_Files_ /workspace/_Shared_Files_ none defaults,bind 0 0" /etc/fstab || echo "/home/$USER/Workspace/_Shared_Files_ /workspace/_Shared_Files_ none defaults,bind 0 0" >> /etc/fstab
mount -a
# Make directory for bookmarks
@ -129,7 +130,7 @@ mkdir -p /home/$USER/.config/gtk-3.0
# Keep these bookmarks
#grep "Documents" /home/$USER/.config/gtk-3.0/bookmarks || echo "file:///home/$USER/Documents" >> /home/$USER/.config/gtk-3.0/bookmarks
grep "Workspace" /home/$USER/.config/gtk-3.0/bookmarks || echo "file:///home/$USER/Workspace" >> /home/$USER/.config/gtk-3.0/bookmarks
grep "Shared%20Files" /home/$USER/.config/gtk-3.0/bookmarks || echo "file:///home/$USER/Workspace/-Shared%20Files-" >> /home/$USER/.config/gtk-3.0/bookmarks
grep "_Shared_Files_" /home/$USER/.config/gtk-3.0/bookmarks || echo "file:///home/$USER/Workspace/_Shared_Files_" >> /home/$USER/.config/gtk-3.0/bookmarks
grep "Downloads" /home/$USER/.config/gtk-3.0/bookmarks || echo "file:///home/$USER/Downloads" >> /home/$USER/.config/gtk-3.0/bookmarks
# Duke.edu repo is down 8/18/2020