Add init quicklisp proxy flag (#342)

This commit is contained in:
Marko Budiselić 2022-02-02 09:07:57 +01:00 committed by GitHub
parent 6c00d146f2
commit 7348ad6800
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

21
init
View File

@ -9,7 +9,8 @@ function print_help () {
echo "Usage: $0 [OPTION]"
echo -e "Check for missing packages and setup the project.\n"
echo "Optional arguments:"
echo -e " -h\tdisplay this help and exit"
echo -e " -h\t\t\t\t\tdisplay this help and exit"
echo -e " --wsl-quicklisp-proxy \"host:port\"\tquicklist HTTP proxy (this flag + HTTP proxy are required on WSL)"
}
function setup_virtualenv () {
@ -30,9 +31,23 @@ function setup_virtualenv () {
popd > /dev/null
}
if [[ $# -gt 1 ]]; then
wsl_quicklisp_proxy=""
if [[ $# -gt 2 ]]; then
print_help
exit 1
elif [[ $# -eq 2 ]]; then
case "$1" in
--wsl-quicklisp-proxy)
shift
wsl_quicklisp_proxy=":proxy \"http://$1/\""
shift
;;
*)
# unknown option
print_help
exit 1
;;
esac
elif [[ $# -eq 1 ]]; then
case "$1" in
-h)
@ -66,7 +81,7 @@ if [[ ! -f "${quicklisp_install_dir}/setup.lisp" ]]; then
echo \
"
(load \"${DIR}/quicklisp.lisp\")
(quicklisp-quickstart:install :path \"${quicklisp_install_dir}\")
(quicklisp-quickstart:install $wsl_quicklisp_proxy :path \"${quicklisp_install_dir}\")
" | sbcl --script || exit 1
rm -rf quicklisp.lisp || exit 1
fi