Change directories for programming related content
Signed-off-by: Severin Kaderli <severin@kaderli.dev>
This commit is contained in:
parent
39e0708bfb
commit
a924213d21
3 changed files with 13 additions and 13 deletions
18
install
18
install
|
@ -26,15 +26,15 @@ HOST="$(hostname)"
|
|||
# Directories which should be created
|
||||
DIRECTORIES=(
|
||||
".local/log"
|
||||
".local/share/gnupg/"
|
||||
".local/share/vpn/"
|
||||
"build"
|
||||
".local/share/gnupg"
|
||||
".local/share/vpn"
|
||||
"dev/build"
|
||||
"dev/projects"
|
||||
"dev/work/opensource"
|
||||
"dev/work/projects"
|
||||
"dev/work/tools"
|
||||
"downloads"
|
||||
"projects"
|
||||
"videos"
|
||||
"work/opensource"
|
||||
"work/projects"
|
||||
"work/tools"
|
||||
)
|
||||
|
||||
# Files which should be symlinked in the home folder
|
||||
|
@ -278,8 +278,8 @@ done
|
|||
###############################################################################
|
||||
print_section "Prepare work tools"
|
||||
print_log "Installing dde"
|
||||
if [ ! -d "${HOME}/work/tools/dde" ]; then
|
||||
git clone "https://github.com/whatwedo/dde" "${HOME}/work/tools/dde"
|
||||
if [ ! -d "${HOME}/dev/work/tools/dde" ]; then
|
||||
git clone "https://github.com/whatwedo/dde" "${HOME}/dev/work/tools/dde"
|
||||
fi
|
||||
|
||||
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue