forked from alexwl/haskell-code-explorer
-
Notifications
You must be signed in to change notification settings - Fork 0
Expand file tree
/
Copy pathdistribute
More file actions
executable file
·70 lines (64 loc) · 1.75 KB
/
distribute
File metadata and controls
executable file
·70 lines (64 loc) · 1.75 KB
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
#!/usr/bin/env bash
set -euo pipefail
CONTROL_PATH="$HOME/.ssh/cm_${HCE_SERVER_HOST//:/_}"
rm -f "$CONTROL_PATH" 2>/dev/null || true
ssh -o ControlMaster=yes -o ControlPersist=600 -o ControlPath="$CONTROL_PATH" -fN "$HCE_SERVER_HOST"
RSYNC_SSH="ssh -o ControlPath=$CONTROL_PATH -o ControlMaster=no"
packages=(
haskell-code-explorer
hakyll
lrucache
pandoc
attoparsec
parsec
servant/servant
servant/servant-auth/servant-auth-client
servant/servant-auth/servant-auth-docs
servant/servant-auth/servant-auth-server
servant/servant-auth/servant-auth-swagger
servant/servant-client
servant/servant-client-core
servant/servant-client-ghcjs
servant/servant-conduit
servant/servant-docs
servant/servant-foreign
servant/servant-http-streams
servant/servant-machines
servant/servant-pipes
servant/servant-quickcheck
servant/servant-server
servant/servant-swagger
wai/auto-update
wai/mime-types
wai/recv
wai/time-manager
wai/wai
wai/wai-app-static
wai/wai-conduit
wai/wai-extra
wai/wai-frontend-monadcgi
wai/wai-http2-extra
wai/wai-websockets
wai/warp
wai/warp-quic
wai/warp-tls
cabal/Cabal-syntax
cabal/Cabal
cabal/Cabal-described
cabal/Cabal-QuickCheck
cabal/Cabal-tests
cabal/Cabal-tree-diff
cabal/cabal-benchmarks
cabal/cabal-install-solver
cabal/cabal-install
cabal/cabal-testsuite
cabal/solver-benchmarks
)
for package in "${packages[@]}"; do
src="../$package/.haskell-code-explorer"
dest_dir="$HCE_SERVER_DIR/$package/"
$RSYNC_SSH "$HCE_SERVER_HOST" "mkdir -p '$dest_dir'"
echo "→ syncing $src → $HCE_SERVER_HOST:$dest_dir"
rsync --ignore-times -avz -e "$RSYNC_SSH" "$src" "$HCE_SERVER_HOST:$dest_dir"
done
ssh -o ControlPath="$CONTROL_PATH" -O exit "$HCE_SERVER_HOST" || true