return to using sh after fixing the signals
This commit is contained in:
parent
e56cb08ae3
commit
ac432ae132
2 changed files with 3 additions and 3 deletions
|
@ -41,7 +41,7 @@ ulimit -Ss 2048
|
|||
ulimit -c unlimited
|
||||
|
||||
# send the standard server message to the appropriate server when killing it with ctrl+c
|
||||
trap "$HOME/bin/send_server_message $SERVER; sleep 2; killall wesnothd-$SERVER -q; echo -n 'terminated: '; date; exit 0" SIGINT
|
||||
trap "$HOME/bin/send_server_message $SERVER; sleep 2; killall wesnothd-$SERVER -q; echo -n 'terminated: '; date; exit 0" INT
|
||||
|
||||
while [ true ]
|
||||
do
|
||||
|
|
|
@ -1,4 +1,4 @@
|
|||
#!/bin/bash
|
||||
#!/bin/sh
|
||||
#
|
||||
# Script to strip ICC profiles from all png images and to recompress them
|
||||
# afterwards via optipng
|
||||
|
@ -122,7 +122,7 @@ nice -n $opti_nice optipng -v 2> /dev/null 1> /dev/null || report_absent_tool op
|
|||
nice -n $opti_nice convert --help 2> /dev/null 1> /dev/null || report_absent_tool convert
|
||||
|
||||
# Set-up a trap to avoid leaving orphan tempfiles behind.
|
||||
trap user_int SIGHUP SIGINT SIGTERM
|
||||
trap user_int HUP INT TERM
|
||||
|
||||
filelist=$(find -iname "*.png")
|
||||
for f in $filelist; do
|
||||
|
|
Loading…
Add table
Reference in a new issue