mattddowney

#!/bin/bash

cat $1 |
sed 's/¡/\&iexcl\;/g' |
sed 's/¢/\&cent\;/g' |
sed 's/£/\&pound\;/g' |
sed 's/¤/\&curren\;/g' |
sed 's/¥/\&yen\;/g' |
sed 's/¦/\&brkbar\;/g' |
sed 's/§/\&sect\;/g' |

mattddowney

#!/bin/bash
# Update Jenkins
# run with sudo

# remove old backup
cd /usr/share/jenkins
rm jenkins.bak 2> /dev/null

echo "---> Stopping Jenkins Service"
service jenkins stop