Mercurial > hg > dtl-dml-home
changeset 96:8e3112c2517e dml-dockerised
added isearch repo
| author | wolffd <wolffd.mail@googlemail.com> |
|---|---|
| date | Wed, 06 Jun 2018 15:53:45 +0100 |
| parents | 4398802c2885 |
| children | a0304c86c5b3 |
| files | etc/setup_as_dml.sh |
| diffstat | 1 files changed, 2 insertions(+), 0 deletions(-) [+] |
line wrap: on
line diff
--- a/etc/setup_as_dml.sh Wed Jun 06 15:14:27 2018 +0100 +++ b/etc/setup_as_dml.sh Wed Jun 06 15:53:45 2018 +0100 @@ -89,6 +89,8 @@ if [ $MAKE_HUMDRUM == yes ]; then cd ~/src/github/humdrum-tools && make fi +# Added isearch - is this the correct source ? +get_repo_into ~/src/github git https://github.com/samer--/isearch # get_repo_into ~/src/hg hg https://code.soundsoftware.ac.uk/hg/dml-cliopatria # private repo get_repo_into ~/src/hg hg https://code.soundsoftware.ac.uk/hg/dml-open-cliopatria dml-cliopatria # public corresponding