More diff page improvements

Tom

2014-10-28 f0ebfe6152959fda74bf7a5436bd765a0a231f6b

1
2
3
#!/bin/bash
sudo cp service-ubuntu.sh /etc/init.d/gitblit
sudo update-rc.d gitblit defaults