annotate bin/syn.sh @ 842:03f9657514e9

while we might not want Octave *that* much, we will never want OCAML
author Jeff Hammel <k0scist@gmail.com>
date Sun, 09 Jul 2017 15:01:16 -0700
parents 6fd2b3b4fb01
children 70ae14b6be51
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
822
570ace9ed7c2 make my life a little easier
Jeff Hammel <k0scist@gmail.com>
parents:
diff changeset
1 #!/bin/bash
570ace9ed7c2 make my life a little easier
Jeff Hammel <k0scist@gmail.com>
parents:
diff changeset
2
570ace9ed7c2 make my life a little easier
Jeff Hammel <k0scist@gmail.com>
parents:
diff changeset
3 set -e
570ace9ed7c2 make my life a little easier
Jeff Hammel <k0scist@gmail.com>
parents:
diff changeset
4
570ace9ed7c2 make my life a little easier
Jeff Hammel <k0scist@gmail.com>
parents:
diff changeset
5 cd
570ace9ed7c2 make my life a little easier
Jeff Hammel <k0scist@gmail.com>
parents:
diff changeset
6
570ace9ed7c2 make my life a little easier
Jeff Hammel <k0scist@gmail.com>
parents:
diff changeset
7 silvermirror
824
16200adbd4f0 work around exit code for no changes
Jeff Hammel <k0scist@gmail.com>
parents: 822
diff changeset
8 hg pull
16200adbd4f0 work around exit code for no changes
Jeff Hammel <k0scist@gmail.com>
parents: 822
diff changeset
9
16200adbd4f0 work around exit code for no changes
Jeff Hammel <k0scist@gmail.com>
parents: 822
diff changeset
10 set +e
16200adbd4f0 work around exit code for no changes
Jeff Hammel <k0scist@gmail.com>
parents: 822
diff changeset
11 hg push # will exit 1 on no changes found
16200adbd4f0 work around exit code for no changes
Jeff Hammel <k0scist@gmail.com>
parents: 822
diff changeset
12 set -e
16200adbd4f0 work around exit code for no changes
Jeff Hammel <k0scist@gmail.com>
parents: 822
diff changeset
13
822
570ace9ed7c2 make my life a little easier
Jeff Hammel <k0scist@gmail.com>
parents:
diff changeset
14 ubuntu_updated.sh
834
6fd2b3b4fb01 dont presuppose PATH
Jeff Hammel <k0scist@gmail.com>
parents: 824
diff changeset
15 mirror-hg http://k0s.org/hg
822
570ace9ed7c2 make my life a little easier
Jeff Hammel <k0scist@gmail.com>
parents:
diff changeset
16