diff options
| author | Boris Kolpackov <boris@codesynthesis.com> | 2021-02-22 15:41:06 +0200 |
|---|---|---|
| committer | Boris Kolpackov <boris@codesynthesis.com> | 2021-02-22 15:41:06 +0200 |
| commit | 261358a3c093002af8d7ed2405ee64b0bcd8b555 (patch) | |
| tree | 88e4e7c5a053dc6336765ca081d9e904e012ce5a /doc | |
| parent | 55ff42d0144cb303d8a1b5c02e630c72e19ec517 (diff) | |
Fix formatting in bash guide
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/bash-style.cli | 3 | ||||
| -rw-r--r-- | doc/release.cli | 4 |
2 files changed, 6 insertions, 1 deletions
diff --git a/doc/bash-style.cli b/doc/bash-style.cli index 3f620f4..4edc984 100644 --- a/doc/bash-style.cli +++ b/doc/bash-style.cli @@ -253,10 +253,11 @@ rm -f \"$dir/$name\".* Note also that globbing is not performed in the \c{[[ ]]} context so this is ok: +\ if [[ -v array[0] ]]; then ... fi - +\ \N|One exception to this quoting rule is arithmetic expansion (\c{$((\ ))}): Bash treats it as if it was double-quoted and, as a result, any inner quoting diff --git a/doc/release.cli b/doc/release.cli index 9a83a44..92d799e 100644 --- a/doc/release.cli +++ b/doc/release.cli @@ -52,6 +52,10 @@ distribution from \c{etc/stage} and add the pre-distributed packages copyright update notification via a pre-commit hook. So perhaps this step can be removed. +\h#install-times|Update install script times.| + + See c{private/install/build2-times.txt} for instructions. + \h#etc|Update \c{etc/git/modules}| Review for any new modules. Remove \c{etc/} and \c{private/} from |