hasufell/ghcup
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

Make script update url a global var

Browse Source
This commit is contained in:
Julian Ospald 2018-09-30 13:33:04 +08:00
parent ce9e72795b
commit 857ccefff4
No known key found for this signature in database
GPG Key ID: 511B62C09D50CD28
1 changed files with 4 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

7
ghcup
View File

@ -40,6 +40,8 @@ GHC_LOCATION="$INSTALL_BASE/ghc"
BIN_LOCATION="$INSTALL_BASE/bin" BIN_LOCATION="$INSTALL_BASE/bin"
DOWNLOADER="curl" DOWNLOADER="curl"
DOWNLOADER_OPTS="--fail -O" DOWNLOADER_OPTS="--fail -O"
SCRIPT_UPDATE_URL="https://raw.githubusercontent.com/hasufell/ghcup/master/ghcup"
## print help ## ## print help ##
@ -451,7 +453,6 @@ set_ghc() {
self_update() { self_update() {
target_location=$1 target_location=$1
source_url="https://raw.githubusercontent.com/hasufell/ghcup/master/ghcup"
[ -e "${target_location}" ] || die "Destination \"${target_location}\" does not exist, cannot update script" [ -e "${target_location}" ] || die "Destination \"${target_location}\" does not exist, cannot update script"
@ -460,14 +461,14 @@ self_update() {
( (
edo cd "$(mktemp -d)" edo cd "$(mktemp -d)"
edo download "${source_url}" edo download "${SCRIPT_UPDATE_URL}"
edo mv ghcup "${target_location}"/ghcup edo mv ghcup "${target_location}"/ghcup
edo chmod +x "${target_location}"/ghcup edo chmod +x "${target_location}"/ghcup
) || die "failed to install" ) || die "failed to install"
status_message "Done, make sure \"${target_location}\" is in your PATH!" status_message "Done, make sure \"${target_location}\" is in your PATH!"
unset target_location source_url unset target_location
} }
## show subcommand ## ## show subcommand ##