OILS / devtools / blob.sh View on Github | oils.pub

33 lines, 17 significant
1#!/usr/bin/env bash
2#
3# Manage the old op.oils.pub/blob/ dir
4# Created after Dreamhost disabled oilshell.org
5#
6# Usage:
7# devtools/blob.sh <function name>
8
9set -o nounset
10set -o pipefail
11set -o errexit
12
13readonly BASE_DIR=_tmp/blob
14
15download() {
16 local user=${1:-todo}
17 mkdir -p $BASE_DIR
18 time rsync --archive --verbose $user@travis-ci.op.oils.pub:op.oils.pub/blob/ $BASE_DIR/
19}
20
21upload-op() {
22 #ssh op.oils.pub 'ls'
23 ssh op.oils.pub 'mkdir -v -p op.oils.pub/blob; ls op.oils.pub/blob'
24 time rsync --archive --verbose $BASE_DIR/ op.oils.pub:op.oils.pub/blob/
25}
26
27upload-mb() {
28 #ssh mb.oils.pub 'ls www'
29 ssh mb.oils.pub 'mkdir -v -p www/mb.oils.pub/blob; ls www/mb.oils.pub/blob'
30 time rsync --archive --verbose $BASE_DIR/ mb.oils.pub:www/mb.oils.pub/blob/
31}
32
33"$@"