File tree Expand file tree Collapse file tree
Expand file tree Collapse file tree Original file line number Diff line number Diff line change 1010PIHOME=/home/pi
1111DEXTER=Dexter
1212LIB=lib
13- SCRIPTS =script_tools
13+ SCRIPT =script_tools
1414
1515pushd $PIHOME
16-
16+ result= ${PWD ##*/ }
1717# check if ~/Dexter exists, if not create it
1818if [ ! -d $DEXTER ] ; then
1919 echo " creating $PIHOME /$DEXTER "
2020 mkdir $DEXTER
2121fi
2222# go into $DEXTER
2323cd $DEXTER
24+ echo $PWD
2425
2526# check if /home/pi/Dexter/lib exists, if not create it
2627if [ ! -d $LIB ] ; then
2728 echo " creating $PIHOME /$DEXTER /$LIB "
2829 mkdir $LIB
2930fi
3031cd $LIB
32+ echo $PWD
33+
34+ # check if /home/pi/Dexter/lib/Dexter exists, if not create it
35+ if [ ! -d $DEXTER ] ; then
36+ echo " creating $PIHOME /$DEXTER /$LIB /$Dexter "
37+ mkdir $DEXTER
38+ fi
39+ cd $DEXTER
40+ echo $PWD
3141
3242# check if /home/pi/Dexter/lib/script_tools exists
3343# if yes refresh the folder
3444# if not, clone the folder
3545if [ -d $SCRIPT ] ; then
3646 echo " Pulling"
3747 cd $SCRIPT
48+ echo $PWD
49+ echo " now in $PIHOME /$DEXTER /$LIB /$SCRIPT "
3850 sudo git pull
3951else
4052 # clone the folder
You can’t perform that action at this time.
0 commit comments