Nevermind. I see that your request was merged, so it’s now in there for real.
~Conor > On Sep 13, 2015, at 10:01 PM, Conor Cook <[email protected]> wrote: > > Was copying the raw script into a text file and saving it in the contrib/ > directory a good choice? Should I delete it before I try to git pull again? > > ~Conor > >> On Sep 13, 2015, at 10:00 PM, Br. Samuel Springuel <[email protected]> >> wrote: >> >> The tool is a simple bash shell script. You just need to download it (say >> by pulling it from my git repository) and then run it from the command line >> (assuming you're in the download directory): >> >> ./system-setup.sh >> >> ✝✝✝✝✝✝✝✝✝✝✝✝✝✝✝✝✝✝✝✝✝✝✝✝✝ >> Br. Samuel, OSB >> (R. Padraic Springuel) >> >> PAX ☧ ΧΡΙΣΤΟΣ > _______________________________________________ Gregorio-users mailing list [email protected] https://mail.gna.org/listinfo/gregorio-users
