]> Nishi Git Mirror - gwion.git/commitdiff
:art: Fex updates
authorfennecdjay <astor.jeremie@wanadoo.fr>
Mon, 11 Nov 2019 11:21:32 +0000 (12:21 +0100)
committerfennecdjay <astor.jeremie@wanadoo.fr>
Mon, 11 Nov 2019 11:21:32 +0000 (12:21 +0100)
.gitignore
docs/Benchmarks.mdr
docs/Contributors.mdr
scripts/run.sh

index 2919fc0f66ee321ff2f262b6ce351f935454377b..250338ee7172ac808f8f15d2c0a3e09571a4c3a5 100644 (file)
@@ -1,3 +1,4 @@
+src
 book
 book.toml
 custom.css
index 66173a82fa41b98b443b475ccf3e58edf76253ba..c37868d89e02ebb05e83b62cf697d295153795f4 100644 (file)
@@ -1,3 +1,6 @@
 # Benchmarks
 
-@exec for a in $(find benchmark/results -type f -name "*.png"); do echo "![$(basename $a)]($(sed 's/benchmark\/results/assets/' <<< $a) \"${a:-4}\")"; done
+## test
+<table><tr><td align="center">
+@exec for a in $(find benchmark/results -type f -name "*.png"); do echo "<a href=:gwion:><img class=\"zoom\" src=\"./$(sed 's/benchmark\/results/assets/' <<< $a)\" width=\"352px\"></a>"; done
+</td></tr></table>
index 2865f150c9a66d0053c06e93c232191f95b30c51..ecba6a278ea8debda03591db20fd69286c5cc4cb 100644 (file)
@@ -3,5 +3,4 @@
 @exec git show "master:README.md" > master_readme.md
 
 @exec sed "$(/usr/bin/cat -n master_readme.md | grep "ALL-CONTRIBUTOR" | cut -f1 | tr '\n' '\t' | sed 's/\t/,/')!d" master_readme.md
-
 @exec rm master_readme.md
index b21b7e50ad0607314bc021d5a1544b3adcfb91f0..9ec39581ba2752ad347fa67a456cb78664f84144 100644 (file)
@@ -1,12 +1,19 @@
+sedi () {
+  sed --version >/dev/null 2>&1 && sed -i -- "$@" || sed -i "" "$@"
+}
+
 run() {
        mdbook serve&
+  sedi 's/^src/#src/' .gitignore
        while true
   do sh scripts/watch.sh
   done
 }
 
 clean() {
-  trap - SIGINT SIGTERM ERR; killall mdbook
+  trap - SIGINT SIGTERM ERR
+  killall mdbook
+  sedi 's/#src/src/' .gitignore
   exit 1
 }