Re: [NTG-context] new upload

On 07/11/2020 13:11, Pablo Rodriguez wrote:

echo "" && curl -Ihttp://pragma-ade.com/context/latest/cont-tmf.zip 2>&1 | grep Last-Modified && echo ""

So you don’t mix access time with last modification.

this seems to work: #!/usr/bin/env bash cd ~/context OLD=`stat -c "%w" context-linux-64.zip` echo "current: " $OLD curl -s -O http://lmtx.pragma-ade.nl/install-lmtx/context-linux-64.zip NEW=`stat -c "%w" context-linux-64.zip` if [[ "$OLD" != "$NEW" ]] ; then echo " new: " $NEW mtxrun --script cache --erase >ctx.log unzip -q -o context-linux-64.zip rm tex/*.tma sh ./install.sh >ctx.log context --version | grep "current version" fi