ExtensionCrawler/scripts
Michael Herzberg 2cb868b3d0 Removed removal of review row ids as we now use author ids as primary keys. 2017-07-12 18:13:04 +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 Removed removal of review row ids as we now use author ids as primary keys. 2017-07-12 18:13:04 +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