Changeset 1639
- Timestamp:
- 10/24/04 08:54:06 (4 years ago)
- Location:
- trunk
- Files:
-
- 3 modified
-
misc/cplgtdirs.sh (modified) (1 diff)
-
RELEASE_NOTES (modified) (1 diff)
-
scripts/cplgtdirs.sh (modified) (1 diff)
Legend:
- Unmodified
- Added
- Removed
-
trunk/misc/cplgtdirs.sh
r1602 r1639 23 23 cp -RL $LOGTALKHOME/library $HOME/logtalk/ 24 24 cp -RL $LOGTALKHOME/xml $HOME/logtalk/ 25 chmod -R u+w $HOME/logtalk 25 26 echo "Finished copying Logtalk directories." 26 27 echo -
trunk/RELEASE_NOTES
r1638 r1639 34 34 the DTD and XSD files in order to avoid prompting the the user about the file 35 35 permissions. 36 37 Updated the cplgtdirs.sh shell script to make all copied files user writable. 36 38 37 39 -
trunk/scripts/cplgtdirs.sh
r1602 r1639 23 23 cp -RL $LOGTALKHOME/library $HOME/logtalk/ 24 24 cp -RL $LOGTALKHOME/xml $HOME/logtalk/ 25 chmod -R u+w $HOME/logtalk 25 26 echo "Finished copying Logtalk directories." 26 27 echo
