view update.sh @ 17:3e8c7d089e30 default tip

URL update
author Vadim Filimonov <fffilimonov@yandex.ru>
date Mon, 02 Oct 2023 12:23:02 +0300
parents 49461857ed79
children
line wrap: on
line source

#!/bin/bash -e

. common.sh;

echo Updating hg
/usr/local/bin/hg pull -u

./stop.sh

mkdir -p logs/repos
rm -f logs/*.log
rm -f logs/repos/*_log
hg identify >logs/changeset.txt

${ROOTPWD}/luan.sh update_repositories.luan

./start.sh