Advertisement
Not a member of Pastebin yet?
Sign Up,
it unlocks many cool features!
- SETTINGS_FILE=.settings32.sh
- XIL_SCRIPT_LOC="/opt/Xilinx/13.1/ISE_DS"
- for i in `/bin/ls "${XIL_SCRIPT_LOC}"`
- do
- d="${XIL_SCRIPT_LOC}/$i"
- if [ -d "$d" ]; then
- sfn="$d/$SETTINGS_FILE"
- if [ -e "$sfn" ]; then
- echo . "$sfn" "$d" >> ~/instalacion
- #. "$sfn" "$d"
- fi
- fi
- done
- . ~/instalacion
- rm ~/instalacion
Advertisement
Add Comment
Please, Sign In to add comment
Advertisement