Closed cmaeder closed 8 years ago
a git clone https://github.com/KWARC/MMT.git sucks 1.3 GB. (with -b gh-pages --single-branch --depth=1 this goes down to 509 MB).
git clone https://github.com/KWARC/MMT.git
-b gh-pages --single-branch --depth=1
Since a special treatment is unavoidable (in my eyes) I suggest to only download 45 MB https://github.com/KWARC/MMT/raw/gh-pages/deploy/mmt.jar (into the same MMT/deploy directory)
MMT/deploy
It seems wget -c -N would even avoid downloading the same file if it already exists and is up-to-date.
wget -c -N
a
git clone https://github.com/KWARC/MMT.git
sucks 1.3 GB. (with-b gh-pages --single-branch --depth=1
this goes down to 509 MB).Since a special treatment is unavoidable (in my eyes) I suggest to only download 45 MB https://github.com/KWARC/MMT/raw/gh-pages/deploy/mmt.jar (into the same
MMT/deploy
directory)It seems
wget -c -N
would even avoid downloading the same file if it already exists and is up-to-date.