|
|
@ -6,10 +6,11 @@ IFS=' |
|
|
|
' |
|
|
|
' |
|
|
|
|
|
|
|
|
|
|
|
FILENAME="student/auto-exec-bin.sh" |
|
|
|
FILENAME="student/auto-exec-bin.sh" |
|
|
|
|
|
|
|
BINFILE="~/myBins/01exec" |
|
|
|
script_dirS=$(cd -P "$(dirname "$BASH_SOURCE")" &>/dev/null && pwd) |
|
|
|
script_dirS=$(cd -P "$(dirname "$BASH_SOURCE")" &>/dev/null && pwd) |
|
|
|
|
|
|
|
|
|
|
|
setupbin() { |
|
|
|
setupbin() { |
|
|
|
if [ -f ${FILENAME} ]; then |
|
|
|
if [ -f ${BINFILE} ]; then |
|
|
|
echo "bin already exists!" |
|
|
|
echo "bin already exists!" |
|
|
|
else |
|
|
|
else |
|
|
|
mkdir -p ~/myBins |
|
|
|
mkdir -p ~/myBins |
|
|
|