diff options
| -rw-r--r-- | 2022/organizers-notebook.md | 4 | ||||
| -rw-r--r-- | 2022/organizers-notebook/index.org | 2 |
2 files changed, 3 insertions, 3 deletions
diff --git a/2022/organizers-notebook.md b/2022/organizers-notebook.md index 08118dcc..5577e8fb 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="org8eb532e" border="2" cellspacing="0" cellpadding="6" rules="groups" frame="hsides"> +<table id="org46d7f0c" border="2" cellspacing="0" cellpadding="6" rules="groups" frame="hsides"> <colgroup> @@ -3919,7 +3919,7 @@ chatter in the other lists Cc’d on this message. Thank you. #!/usr/bin/env sh - set -xeu + set -eu sleep_duration=1800 diff --git a/2022/organizers-notebook/index.org b/2022/organizers-notebook/index.org index 0a31aced..89dc1c4b 100644 --- a/2022/organizers-notebook/index.org +++ b/2022/organizers-notebook/index.org @@ -3381,7 +3381,7 @@ Throw an error if ERROR is non-nil, skip otherwise." #+begin_src sh :eval no :tangle prerecs-wait-new.sh #!/usr/bin/env sh -set -xeu +set -eu sleep_duration=1800 |