Changes between Version 6 and Version 7 of debugging_tips
- Timestamp:
- 12/05/19 15:41:25 (5 years ago)
Legend:
- Unmodified
- Added
- Removed
- Modified
-
debugging_tips
v6 v7 12 12 {{{ 13 13 cd $ISSM_DIR 14 ./jenkins/jenkins.sh ./jenkins/<configuration_file 14 ./jenkins/jenkins.sh ./jenkins/<configuration_file> 15 15 }}} 16 16 as a bonus, you do not have to remember to run `source $ISSM_DIR/etc/environment.sh` after each external package installation. However, you might find yourself frequently removing more than one external package in the process of finding a combination that works well together. You can do so manually each time, but this is a waste of time. Instead, run,