diff options
author | Leo Vivier <zaeph@zaeph.net> | 2022-10-21 17:47:27 +0200 |
---|---|---|
committer | Leo Vivier <zaeph@zaeph.net> | 2022-10-21 17:47:27 +0200 |
commit | b167f67c9fe1fdb905ddbbdf6b1b739a729aa95f (patch) | |
tree | e4f577f341918d65fa9f067211b8fdd4dc6565a8 /2022/organizers-notebook.md | |
parent | 7d8553380a41a9ec0e54a7fb63737cc229f09cfd (diff) | |
download | emacsconf-wiki-b167f67c9fe1fdb905ddbbdf6b1b739a729aa95f.tar.xz emacsconf-wiki-b167f67c9fe1fdb905ddbbdf6b1b739a729aa95f.zip |
Fix cond
Diffstat (limited to '2022/organizers-notebook.md')
-rw-r--r-- | 2022/organizers-notebook.md | 12 |
1 files changed, 8 insertions, 4 deletions
diff --git a/2022/organizers-notebook.md b/2022/organizers-notebook.md index 81f50b43..4b7195d8 100644 --- a/2022/organizers-notebook.md +++ b/2022/organizers-notebook.md @@ -2312,7 +2312,7 @@ Probably focus on grabbing the audio first and seeing what’s worth keeping Make a table of the form -<table id="orgac83d11" border="2" cellspacing="0" cellpadding="6" rules="groups" frame="hsides"> +<table id="orgb258664" border="2" cellspacing="0" cellpadding="6" rules="groups" frame="hsides"> <colgroup> @@ -3948,10 +3948,14 @@ chatter in the other lists Cc’d on this message. Thank you. echo "Currently waiting for prerec" prerecs_number_past=$(cat "$data") - prerecs_number_current="$(TERM=xterm ssh orga@media.emacsconf.org -- ls -1 /srv/upload | wc -l)" - diff=$((prerecs_number_current - prerecs_number_past)) + diff=0 - while [ $diff = 0 ]; do + while true; do + prerecs_number_current="$(TERM=xterm ssh orga@media.emacsconf.org -- ls -1 /srv/upload | wc -l)" + diff=$((prerecs_number_current - prerecs_number_past)) + if [ $diff -gt 0 ]; then + break + fi sleep "$sleep_duration" done |