home
·
contact
·
privacy
projects
/
config
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
Fix missing include bug.
[config]
/
buster
/
setup_scripts
/
setup_home.sh
diff --git
a/buster/setup_scripts/setup_home.sh
b/buster/setup_scripts/setup_home.sh
index 779bb4c3c6153ecff5bb088c78005d2ae29c6225..24f4c672214f214293a85864bf3caefe19f47e0a 100755
(executable)
--- a/
buster/setup_scripts/setup_home.sh
+++ b/
buster/setup_scripts/setup_home.sh
@@
-5,7
+5,7
@@
if [ "$#" -ne 1 ]; then
echo 'Need exactly one argument (system name).'
false
fi
echo 'Need exactly one argument (system name).'
false
fi
-if [ ! "$1" = "eeepc" ] && [ ! "$1" = "x200s" ]; then
+if [ ! "$1" = "eeepc" ] && [ ! "$1" = "x200s" ]
&& [ ! "$1" = "x220" ]
; then
echo "Need legal system name."
false
fi
echo "Need legal system name."
false
fi
@@
-28,7
+28,7
@@
ensure_repo() {
repo_name="${1}"
if [ ! -d "${public_repos_dir}/${repo_name}" ]; then
cd "${public_repos_dir}"
repo_name="${1}"
if [ ! -d "${public_repos_dir}/${repo_name}" ]; then
cd "${public_repos_dir}"
- git clone plom@plomlompom.com:/var/
public_
repos/${repo_name}
+ git clone plom@plomlompom.com:/var/repos/${repo_name}
fi
}
fi
}