From 2f549d29ffa098ac2f8043c3f2732231c303abfd Mon Sep 17 00:00:00 2001 From: Andy Chu Date: Wed, 28 Aug 2024 09:50:02 -0400 Subject: [PATCH 1/3] [demo] pp line -> test_ --- demo/url-search-params.ysh | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/demo/url-search-params.ysh b/demo/url-search-params.ysh index 91c14bac45..1de91e0201 100755 --- a/demo/url-search-params.ysh +++ b/demo/url-search-params.ysh @@ -141,11 +141,11 @@ proc test-part() { for s in (PART_CASES) { js-decode-part $s | json read (&js) echo 'JS' - pp line (js) + pp test_ (js) echo 'YSH' var y = unquote(s) - pp line (y) + pp test_ (y) assert [y === js] From 65597becaeafad1198157920b3cce504572116cd Mon Sep 17 00:00:00 2001 From: Andy Chu Date: Wed, 28 Aug 2024 09:59:25 -0400 Subject: [PATCH 2/3] soil setup missing 'multi' tool --- soil/common.sh | 45 ++++++++++++++++++++++++++++----------------- 1 file changed, 28 insertions(+), 17 deletions(-) diff --git a/soil/common.sh b/soil/common.sh index 1752723a0b..48161f700b 100644 --- a/soil/common.sh +++ b/soil/common.sh @@ -20,23 +20,34 @@ dump-env() { env | grep -v '^encrypted_' | sort } -if true; then - readonly SOIL_USER='travis_admin' - readonly SOIL_HOST='ci.oilshell.org' - readonly SOIL_HOST_DIR=~/ci.oilshell.org # used on server - readonly SOIL_REMOTE_DIR=ci.oilshell.org # used on client -elif false; then - readonly SOIL_USER='oils' - readonly SOIL_HOST='mb.oils.pub' - # Extra level - readonly SOIL_HOST_DIR=~/www/mb.oils.pub # used on server - readonly SOIL_REMOTE_DIR=www/mb.oils.pub # used on client -else - readonly SOIL_USER='oils' - readonly SOIL_HOST='op.oils.pub' - readonly SOIL_HOST_DIR=~/op.oils.pub # used on server - readonly SOIL_REMOTE_DIR=op.oils.pub # used on client -fi +# dh, mb, op +_soil_service=mb + +case $_soil_service in + dh) + readonly SOIL_USER='travis_admin' + readonly SOIL_HOST='ci.oilshell.org' + readonly SOIL_HOST_DIR=~/ci.oilshell.org # used on server + readonly SOIL_REMOTE_DIR=ci.oilshell.org # used on client + ;; + mb) + readonly SOIL_USER='oils' + readonly SOIL_HOST='mb.oils.pub' + # Extra level + readonly SOIL_HOST_DIR=~/www/mb.oils.pub # used on server + readonly SOIL_REMOTE_DIR=www/mb.oils.pub # used on client + ;; + op) + readonly SOIL_USER='oils' + readonly SOIL_HOST='op.oils.pub' + readonly SOIL_HOST_DIR=~/op.oils.pub # used on server + readonly SOIL_REMOTE_DIR=op.oils.pub # used on client + ;; + *) + echo "Invalid Soil service $_soil_service" >& 2 + exit 1 + ;; +esac readonly SOIL_USER_HOST="$SOIL_USER@$SOIL_HOST" From fdc475e09b0d8957044e0805978c3ba66f6fa651 Mon Sep 17 00:00:00 2001 From: Andy Chu Date: Wed, 28 Aug 2024 10:17:22 -0400 Subject: [PATCH 3/3] re-order --- soil/web-init.sh | 13 +++++++------ 1 file changed, 7 insertions(+), 6 deletions(-) diff --git a/soil/web-init.sh b/soil/web-init.sh index 15e355c158..8e98a597a9 100755 --- a/soil/web-init.sh +++ b/soil/web-init.sh @@ -53,27 +53,28 @@ home-page() { - sr.ht + Github Actions - builds.sr.ht + github.com - .builds + .github/workflows - Github Actions + sr.ht - github.com + builds.sr.ht - .github/workflows + .builds + EOF if false; then