Changeset 3287 for trunk/LMDZ.COMMON/libf/evolution/deftank
- Timestamp:
- Mar 29, 2024, 3:22:49 PM (16 months ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/LMDZ.COMMON/libf/evolution/deftank/launch_pem.sh
r3215 r3287 6 6 echo "The launching script is starting!" 7 7 echo "The output file is \"loglaunch.txt\"." 8 if [ "$1" = "bg" ]; then 8 9 # Re-spawn the script as a background process and create a bash file to kill it in case 10 if [ "$1" = "bg" ]; then 9 11 date 12 echo '#!/bin/bash' > kill_launch_pem.sh 13 echo 'kill' $$ >> kill_launch_pem.sh 14 chmod +x kill_launch_pem.sh 10 15 else 11 16 nohup "$0" bg > loglaunch.txt 2>&1 &
Note: See TracChangeset
for help on using the changeset viewer.