blob 08dacefeb1ae9059975271bc8ac9c1981ba405b6 280 bytes (raw)
name: talks/jres-2022/do-supp.sh # note: path name is non-authoritative(*)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
| | #!/usr/bin/env bash
here=$(pwd)
cd src
if [ -f presentation.snm ]
then
guix time-machine -C channels.scm \
-- shell -C -m manifest.scm \
-- rubber --pdf support-notes-additionnelles.tex
fi
cd $here
if [ ! -f src/presentation.snm ]
then
./do-all.sh
fi
|
debug log:
solving 08dacef ...
found 08dacef in https://yhetil.org/guix/20220620035132.3461-1-zimon.toutoune@gmail.com/
applying [1/1] https://yhetil.org/guix/20220620035132.3461-1-zimon.toutoune@gmail.com/
diff --git a/talks/jres-2022/do-supp.sh b/talks/jres-2022/do-supp.sh
new file mode 100755
index 0000000..08dacef
Checking patch talks/jres-2022/do-supp.sh...
Applied patch talks/jres-2022/do-supp.sh cleanly.
index at:
100755 08dacefeb1ae9059975271bc8ac9c1981ba405b6 talks/jres-2022/do-supp.sh
(*) Git path names are given by the tree(s) the blob belongs to.
Blobs themselves have no identifier aside from the hash of its contents.^
Code repositories for project(s) associated with this external index
https://git.savannah.gnu.org/cgit/guix.git
This is an external index of several public inboxes,
see mirroring instructions on how to clone and mirror
all data and code used by this external index.