Advertisement
Guest User

Untitled

a guest
Sep 22nd, 2017
60
0
Never
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
Bash 0.42 KB | None | 0 0
  1. SETTINGS_FILE=.settings32.sh
  2. XIL_SCRIPT_LOC="/opt/Xilinx/13.1/ISE_DS"
  3.  
  4. for i in `/bin/ls "${XIL_SCRIPT_LOC}"`
  5. do
  6.         d="${XIL_SCRIPT_LOC}/$i"
  7.         if [ -d  "$d" ]; then
  8.           sfn="$d/$SETTINGS_FILE"
  9.           if [ -e  "$sfn" ]; then
  10.                           echo . "$sfn" "$d" >> ~/instalacion
  11.                           #. "$sfn" "$d"
  12.                 fi
  13.         fi
  14. done
  15.  
  16. . ~/instalacion
  17. rm ~/instalacion
Advertisement
Add Comment
Please, Sign In to add comment
Advertisement