Michael Herzberg 885f580f2e Fixed set -u.		2017-07-11 11:15:43 +01:00
..
generate_small_db.sh	Use /bin/bash instead of /usr/bin/bash.	2017-06-27 13:03:01 +01:00
global_update.sh	Update script via cron.	2017-07-02 17:35:51 +01:00
grepper256.sge	Fixed set -u.	2017-07-11 11:15:43 +01:00
merge_dbs.sge	Fixed set -u.	2017-07-11 11:15:43 +01:00
merge_dbs.sh	Fixed sed string.	2017-07-10 12:28:55 +01:00
sge_common	Refactored sge scripts.	2017-07-11 11:11:32 +01:00
sqlite256.sge	Fixed set -u.	2017-07-11 11:15:43 +01:00
sync_local_archive.sh	Simple script for syncing a local archive (excerpt of the total archive) for development or debugging.	2017-07-02 16:11:20 +01:00