diff options
| author | EuAndreh <eu@euandre.org> | 2020-11-13 06:08:58 -0300 |
|---|---|---|
| committer | EuAndreh <eu@euandre.org> | 2020-11-13 06:10:34 -0300 |
| commit | 5377c8c2cc8144beeb137a1ffa6ed2d4dddcf1a6 (patch) | |
| tree | bd0fd049e9ea5d090d4d1d79307a3eea1aaa69e4 /locale/fr/LC_MESSAGES | |
| parent | Add TIL on CI with Nix and Bash (diff) | |
| download | euandre.org-5377c8c2cc8144beeb137a1ffa6ed2d4dddcf1a6.tar.gz euandre.org-5377c8c2cc8144beeb137a1ffa6ed2d4dddcf1a6.tar.xz | |
Nix and Bash TIL: Fix LOGS_PREFIX -> LOGS_DIR
Diffstat (limited to 'locale/fr/LC_MESSAGES')
| -rw-r--r-- | locale/fr/LC_MESSAGES/_tils/2020-11-12-diy-bare-bones-ci-server-with-bash-and-nix.po | 69 |
1 files changed, 46 insertions, 23 deletions
diff --git a/locale/fr/LC_MESSAGES/_tils/2020-11-12-diy-bare-bones-ci-server-with-bash-and-nix.po b/locale/fr/LC_MESSAGES/_tils/2020-11-12-diy-bare-bones-ci-server-with-bash-and-nix.po index cbc72d1..9734c9f 100644 --- a/locale/fr/LC_MESSAGES/_tils/2020-11-12-diy-bare-bones-ci-server-with-bash-and-nix.po +++ b/locale/fr/LC_MESSAGES/_tils/2020-11-12-diy-bare-bones-ci-server-with-bash-and-nix.po @@ -29,29 +29,6 @@ msgid "" msgstr "" msgid "" -"#!/usr/bin/env bash\n" -"set -Eeuo pipefail\n" -"set -x\n" -"\n" -"LOGS_PREFIX=\"/data/static/ci-logs/libedn\"\n" -"mkdir -p \"$LOGS_DIR\"\n" -"LOGFILE=\"${LOGS_DIR}/$(date -Is)-$(git rev-parse master).log\"\n" -"exec &> >(tee -a \"${LOGFILE}\")\n" -"\n" -"unset GIT_DIR\n" -"CLONE=\"$(mktemp -d)\"\n" -"git clone . \"$CLONE\"\n" -"pushd \"$CLONE\"\n" -"\n" -"finish() {\n" -" printf \"\\n\\n>>> exit status was %s\\n\" \"$?\"\n" -"}\n" -"trap finish EXIT\n" -"\n" -"nix-build -A test\n" -msgstr "" - -msgid "" "We initially (lines #5 to #8) create a log file, named after *when* the run " "is running and for *which* commit it is running for. The `exec` and `tee` " "combo allows the output of the script to go both to `stdout` *and* the log " @@ -89,3 +66,49 @@ msgid "" "memory. So if it has to download too many things, or the build closure gets " "too big, the server might very well run out of memory." msgstr "" + +msgid "" +"#!/usr/bin/env bash\n" +"set -Eeuo pipefail\n" +"set -x\n" +"\n" +"LOGS_DIR=\"/data/static/ci-logs/libedn\"\n" +"mkdir -p \"$LOGS_DIR\"\n" +"LOGFILE=\"${LOGS_DIR}/$(date -Is)-$(git rev-parse master).log\"\n" +"exec &> >(tee -a \"${LOGFILE}\")\n" +"\n" +"unset GIT_DIR\n" +"CLONE=\"$(mktemp -d)\"\n" +"git clone . \"$CLONE\"\n" +"pushd \"$CLONE\"\n" +"\n" +"finish() {\n" +" printf \"\\n\\n>>> exit status was %s\\n\" \"$?\"\n" +"}\n" +"trap finish EXIT\n" +"\n" +"nix-build -A test\n" +msgstr "" + +#~ msgid "" +#~ "#!/usr/bin/env bash\n" +#~ "set -Eeuo pipefail\n" +#~ "set -x\n" +#~ "\n" +#~ "LOGS_PREFIX=\"/data/static/ci-logs/libedn\"\n" +#~ "mkdir -p \"$LOGS_DIR\"\n" +#~ "LOGFILE=\"${LOGS_DIR}/$(date -Is)-$(git rev-parse master).log\"\n" +#~ "exec &> >(tee -a \"${LOGFILE}\")\n" +#~ "\n" +#~ "unset GIT_DIR\n" +#~ "CLONE=\"$(mktemp -d)\"\n" +#~ "git clone . \"$CLONE\"\n" +#~ "pushd \"$CLONE\"\n" +#~ "\n" +#~ "finish() {\n" +#~ " printf \"\\n\\n>>> exit status was %s\\n\" \"$?\"\n" +#~ "}\n" +#~ "trap finish EXIT\n" +#~ "\n" +#~ "nix-build -A test\n" +#~ msgstr "" |