change sudo

This commit is contained in:
Jakobus Schürz 2022-11-16 00:14:58 +01:00
parent aaca6d139a
commit 64025490e1

View file

@ -43,13 +43,14 @@ function _umask_hook {
fi
}
cpb() {
function cpb() {
scp "$1" ${SSH_CLIENT%% *}:~/Work
}
sudo() {
function sudo() {
local SUDO
SUDO=$( if [ -e /bin/sudo ]; then echo /bin/sudo; else echo /usr/bin/sudo; fi )
# SUDO=$( if [ -e /bin/sudo ]; then echo /bin/sudo; else echo /usr/bin/sudo; fi )
SUDO=$(which sudo)
$SUDO \
GIT_AUTHOR_EMAIL="$GIT_AUTHOR_EMAIL" \
GIT_AUTHOR_NAME="$GIT_AUTHOR_NAME" \
@ -64,6 +65,7 @@ sudo() {
"$@"
}
create_symlinks() {
#echo MSC_BASE: $MSC_BASE