# with Sink: maintainer responsible to find arbitrary machines in
# those offices and sink-install to the office filesystems via those
# machines. The offices are four: nyc, ldn, hkg, and tot.
-office_qwss=([hkg]=r02 [ldn]=r01 [nyc]=r04 [tot]=r01)
+offices="hgk ldn nyc tot"
+# (The CentOS 5 bash doesn't have associative arrays yet, hence going
+# old school for host_* and target_*.)
ulimit -c unlimited # allow arbitrarily large core files
# Delete a few of the biggest wastes of space before sink'ing.
# Really, need "sink deploy dir -exclude" to skip these.
test -x "$dot/"../ocaml/omake/omake_server.exe
ln -sf $(cd "$dot/".. && pwd) "$jane_elisp"
-for office in
#ssh "$host" "mkdir -p '$target'"
# "sink deploy dir" doesn't work with weird directory names like