Girish Ramakrishnan
|
2455975a46
|
bash scripts: merge the set lines
|
2015-01-23 15:01:10 -08:00 |
|
Girish Ramakrishnan
|
3953b96626
|
set -u all the scripts
|
2015-01-22 17:04:37 -08:00 |
|
Johannes Zellner
|
7506746892
|
Remove .sh extension for executable shell scripts
|
2015-01-23 01:10:56 +01:00 |
|