diff options
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 |