File tree Expand file tree Collapse file tree
Expand file tree Collapse file tree Original file line number Diff line number Diff line change @@ -59,11 +59,6 @@ git clone $REPO_URL > /dev/null 2>&1 #https://github.com/fpgasystems/hdev.git
5959sudo mv $UPDATES_PATH /$REPO_NAME /update.sh $HDEV_PATH /update
6060sudo mv $UPDATES_PATH /$REPO_NAME /.update.sh $HDEV_PATH /.update
6161
62- # take care of hidden files
63- for file in $( find " $CLI_PATH " -type f -name " .*.sh" ) ; do
64- sudo mv " $file " " ${file% .sh} "
65- done
66-
6762# remove temporal copy
6863rm -rf $UPDATES_PATH /$REPO_NAME
6964
Original file line number Diff line number Diff line change @@ -246,6 +246,11 @@ if [ $update = "1" ]; then
246246 sudo cp -f $UPDATES_PATH /$REPO_NAME /TAG $installation_path /TAG
247247 sudo cp -f $UPDATES_PATH /$REPO_NAME /TAG_DATE $installation_path /TAG_DATE
248248
249+ # take care of hidden files
250+ for file in $( find " $installation_path /cli" -type f -name " .*.sh" ) ; do
251+ sudo mv " $file " " ${file% .sh} "
252+ done
253+
249254 # ensure ownership
250255 sudo chown -R root:root $installation_path
251256
You can’t perform that action at this time.
0 commit comments