annotate update.sh @ 4:028e74c8889d

add all_users
author Franklin Schmidt <fschmidt@gmail.com>
date Thu, 12 May 2022 16:54:11 -0600
parents dfc36e7ed22c
children c560b4e2f056
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
0
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
1 #!/bin/bash -e
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
2
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
3 . common.sh;
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
4
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
5 echo Updating hg
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
6 /usr/local/bin/hg pull -u
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
7
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
8 ./stop.sh
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
9
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
10 mkdir -p logs
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
11 rm -f logs/*
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
12 hg identify >logs/changeset.txt
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
13
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
14 ${ROOTPWD}/luan.sh update_repositories.luan
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
15
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
16 ./start.sh