aboutsummaryrefslogtreecommitdiff
path: root/reproduce/src/bash
AgeCommit message (Expand)AuthorLines
2019-04-02Copyright notice added to remaining filesMohammad Akhlaghi-8/+8
2019-03-28flock is now built in configure, to allow serial downloadsMohammad Akhlaghi-5/+10
2019-02-28Git hooks for metastore check for the existance of metastoreRaul Infante-Sainz-5/+15
2019-02-06Minor correction in description of downloading wrapperMohammad Akhlaghi-3/+3
2019-02-06Removed .sh suffix in download wrapper scriptMohammad Akhlaghi-1/+3
2019-02-06Wrapper script for multiple attempts at downloading inputsMohammad Akhlaghi-0/+108
2019-01-23Removing files ending with a ~ in the git checkout hookMohammad Akhlaghi-0/+14
2019-01-23Corrections in metastore's git hooksMohammad Akhlaghi-2/+2
2019-01-22Using fork of metastore to work when getpwuid isn't usableMohammad Akhlaghi-3/+3
2019-01-21Metastore package now installed to allow keeping file meta-dataMohammad Akhlaghi-0/+80