diff options
Diffstat (limited to '2022/organizers-notebook.md')
| -rw-r--r-- | 2022/organizers-notebook.md | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/2022/organizers-notebook.md b/2022/organizers-notebook.md index c2849cc7..81f50b43 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="org1c3f0f6" border="2" cellspacing="0" cellpadding="6" rules="groups" frame="hsides"> +<table id="orgac83d11" border="2" cellspacing="0" cellpadding="6" rules="groups" frame="hsides"> <colgroup> @@ -3924,7 +3924,7 @@ chatter in the other lists Cc’d on this message. Thank you. sleep_duration=1800 data=prerec-wait-new.data - touch check-new-prerecs.data + touch "$data" plural() { if [ "$2" = 1 ] || [ "$2" = -1 ]; then @@ -3947,7 +3947,7 @@ chatter in the other lists Cc’d on this message. Thank you. echo "Currently waiting for prerec" - prerecs_number_past=$(cat $data) + 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)) |