diff options
| author | Joe Carstairs <me@joeac.net> | 2026-09-08 18:19:30 +0100 |
|---|---|---|
| committer | Joe Carstairs <me@joeac.net> | 2026-09-08 18:19:30 +0100 |
| commit | bb97b1dc82c88a977ceafae2ac0e383a57025280 (patch) | |
| tree | c0f9f2023ca7af62825324cf34a60b88a0eed981 /common | |
| parent | dcdea6993d17be425d6bf4aa3f8b44b793ed979f (diff) | |
update microlog post 2026-09-08: add ampersand operator
Diffstat (limited to 'common')
| -rw-r--r-- | common/microlog/2026-09-08.gmi | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/common/microlog/2026-09-08.gmi b/common/microlog/2026-09-08.gmi index 7ef1b45..ee58e79 100644 --- a/common/microlog/2026-09-08.gmi +++ b/common/microlog/2026-09-08.gmi @@ -11,7 +11,7 @@ echo "pushing changes to https://joeac.net and gemini://joeac.net" ssh <user>@<http_machine> 'git -C <dir> pull; make -C <dir>/gemini' git -C <dir> pull make -C <dir>/gemini -) 2>> $log 1>&2 +) 2>> $log 1>&2 & ``` A few tricks: @@ -21,3 +21,4 @@ A few tricks: * make sure `nginx` has a public key stored in the remote user's `~/.ssh/authorized_keys` file * any output to stdout or stderr goes back to the git-pusher's CLI * I've used a sub-shell and redirects to put logs in a logfile and not return them to the git-pusher +* I've also used the ampersand `&` operator so the git-pusher isn't hanging around waiting for the build to finish |