development/github-desktop
development/github-desktop
1
0
Fork 0
mirror of https://github.com/desktop/desktop synced 2024-09-19 08:02:22 +00:00
Code Issues Packages Projects Releases Wiki Activity

rename profile script to avoid spaces

Browse source
This commit is contained in:
Brendan Forster 2018-11-21 14:58:21 -04:00
parent 3e83e1ce4e
commit 51c9efec11
2 changed files with 2 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
script/linux-after-install.sh
View file

@ -2,7 +2,7 @@
set -e
PROFILE_D_FILE="/etc/profile.d/${productFilename}.sh"
PROFILE_D_FILE="/etc/profile.d/github-desktop.sh"
INSTALL_DIR="/opt/${productFilename}"
SCRIPT="#!/bin/sh
export PATH=$INSTALL_DIR:\$PATH"

2
script/linux-after-remove.sh
View file

@ -1,7 +1,7 @@
#!/bin/bash
set -e
PROFILE_D_FILE="/etc/profile.d/${productFilename}.sh"
PROFILE_D_FILE="/etc/profile.d/github-desktop.sh"
case "$1" in
purge|remove|upgrade|failed-upgrade|abort-install|abort-upgrade|disappear)