Skip to content

Instantly share code, notes, and snippets.

@matvore
Created December 13, 2024 16:43
Show Gist options
  • Select an option

  • Save matvore/08f06d055536b01d7e5480605512e293 to your computer and use it in GitHub Desktop.

Select an option

Save matvore/08f06d055536b01d7e5480605512e293 to your computer and use it in GitHub Desktop.
set -x
homedir=$WERMSRCDIR
ht=$homedir/third_party/hterm
dt=$homedir/third_party/dtach
ws=$homedir/third_party/websocketd
. $HOME/m/werm/env
set +x
cat <<'EOF'
https://www.openmymind.net/WebSocket-Framing-Masking-Fragmentation-and-More
EOF
. $WERMSRCDIR/util/sethist.sh werm
cd $homedir
home () {
cd $homedir
}
ghmv=ssh://git@github.com/matvore/werm
ghgoog=ssh://git@github.com/google/werm
killspawn () {
ps -ef | sed '
/spawner/!d
s/matvore/kill/
s/\([0-9]\) .*/\1/
q
' | /bin/sh -x
}
timetag () {
date --rfc-3339=seconds \
| tr ' :' '_.'
}
maketag () {
name=$1
ref=$2
git tag $name.`timetag` $ref \
&& git tag -f $name $ref
}
wpushers () {
git push "$@" $ghmv HEAD:main \
&& maketag ghmv HEAD
}
wpushgoo () {
ref="${ref:-HEAD}"
git push "$@" $ghgoog "$ref":main \
&& maketag ghgoog "$ref"
}
wpull () {
git fetch $ghgoog main \
&& maketag ghgoog FETCH_HEAD
git rebase FETCH_HEAD || return 1
git fetch $ghmv main \
&& maketag ghmv FETCH_HEAD
}
gobrel () {
echo '
git diff gobrel.LATEST my &&
git log --name-status gobrel.LATEST..my
echo TO RELEASE: gobrel-doit
echo TO SHOW CHANGES AGAIN: . /tmp/showchanges.'$$ \
>| /tmp/showchanges.$$
. /tmp/showchanges.$$
}
gobrel-doit () {
tgn=gobrel.`date --rfc-3339=seconds | tr ' :' '_.'`
git push sso://user/matvore/werm my:main my:master &&
git push git@github.com:google/werm my:main &&
git tag $tgn my &&
git tag -f gobrel.LATEST my
}
budir=$WERMSRCDIR/../backupbin
bubin () {
set -x
old=$budir.old
test -e $budir && mv $budir $old
mkdir $budir
date > $budir/date
cp $WERMSRCDIR/{run,session,third_party/websocketd/websocketd} $budir/
test -e $old && mv $old $budir/older
set +x
}
rebin () {
set -x
cp $budir/{run,session} $WERMSRCDIR
cp $budir/websocketd $WERMSRCDIR/websocketd
set +x
}
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment