summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorSébastien Dailly <sebastien@chimrod.com>2015-03-19 14:24:47 +0100
committerSébastien Dailly <sebastien@chimrod.com>2015-03-19 14:24:47 +0100
commit0ad73de1d89956739738716f2d32652ca83164b5 (patch)
tree8ad7ddc8d0b2ad80ec2723914e014d3a2685e836
parente10d5c7b0e54e1de8f7df9b4a8078e4331ee193d (diff)
Corrections
-rwxr-xr-x[-rw-r--r--]content/Informatique/2008-11-07-chiffrage.rst2
-rwxr-xr-x[-rw-r--r--]content/Informatique/2010-10-04-rst.rst2
-rw-r--r--content/Informatique/2014-05-18colors.rst (renamed from content/Informatique/colors.rst)0
-rw-r--r--content/resources/rstodt/article.txt (renamed from content/resources/rstodt/article.rst)0
-rwxr-xr-xpublish.sh7
5 files changed, 9 insertions, 2 deletions
diff --git a/content/Informatique/2008-11-07-chiffrage.rst b/content/Informatique/2008-11-07-chiffrage.rst
index 1ee5866..f7faf31 100644..100755
--- a/content/Informatique/2008-11-07-chiffrage.rst
+++ b/content/Informatique/2008-11-07-chiffrage.rst
@@ -65,7 +65,7 @@ l'utilisateur vient de se logguer. Comme je passe par un login manager
sur mon portable (GDM), j'ai choisi d'utiliser ses ressources pour
lancer le script. En effet, GDM possède des scripts qui sont lancés aux
différents moments de la connexion. Ce qui nous intéresse ici se trouve
-dans le fichier : /etc/gdm/PostLogin/Default
+dans le fichier : `/etc/gdm/PostLogin/Default`
Il suffit d'y coller notre script (ou d'y faire appel), et notre partition
sera activée automatiquement lors de la connexion (et seulement si le mot de
diff --git a/content/Informatique/2010-10-04-rst.rst b/content/Informatique/2010-10-04-rst.rst
index 4f35744..0806fe8 100644..100755
--- a/content/Informatique/2010-10-04-rst.rst
+++ b/content/Informatique/2010-10-04-rst.rst
@@ -55,7 +55,7 @@ paragraphe à un autre, ou « souligne » avec les caractères = _ ou - les titr
et les sous-titres, et le résultat donne un document très aéré et agréable à
travailler.
-.. _ici : {filename}/resources/rstodt/article.rst
+.. _ici : {filename}/resources/rstodt/article.txt
Plugin wordpress
================
diff --git a/content/Informatique/colors.rst b/content/Informatique/2014-05-18colors.rst
index c1e4929..c1e4929 100644
--- a/content/Informatique/colors.rst
+++ b/content/Informatique/2014-05-18colors.rst
diff --git a/content/resources/rstodt/article.rst b/content/resources/rstodt/article.txt
index 3e8001f..3e8001f 100644
--- a/content/resources/rstodt/article.rst
+++ b/content/resources/rstodt/article.txt
diff --git a/publish.sh b/publish.sh
index 4f1adf6..5fbc75d 100755
--- a/publish.sh
+++ b/publish.sh
@@ -2,5 +2,12 @@
source ~/.virtualenvs/pelican3.5/bin/activate
cd ~/pelican/
make publish
+
+find output -name '*.html' -print0 | xargs -0 grep "{filename}"
+if [ $? -eq 0 ]; then
+ echo Lien cassé dans les fichiers listés ci dessus.
+ exit 1
+fi
+
rsync -ra --del -e ssh output/ goku:/home/www/blog-chimrod/
rsync -ra --del -e ssh output/ vps71296:/srv/apache/blog-chimrod/