Organize better wiki page updates in git & operational simpliwiki.com…

… site
JeanHuguesRobert · Jul 8, 2014 · 9297094 · 9297094
1 parent 9e12a32
commit 9297094
Show file tree

Hide file tree

Showing 2 changed files with 21 additions and 1 deletion.
diff --git a/git_to_wiki.sh b/git_to_wiki.sh
@@ -0,0 +1,20 @@
+echo Update simpli wiki pages
+cd ~
+cd SimpliWiki
+cd simpli
+cd simplijs
+cd wiki
+pwd
+for file in *; do
+  f=$(basename $file);
+  other_f="../../../virteal/wiki/$f";
+  if [ "$f" -nt "$other_f" ]; then
+    echo Updating $f
+    cp -f "$f" "$other_f"
+    git add "$f"
+  fi
+done
+
+cd ..
+echo "Done"
+
diff --git a/update.sh → wiki_to_git.sh b/update.sh → wiki_to_git.sh
@@ -8,8 +8,8 @@ pwd
 for file in *; do
   f=$(basename $file);
   other_f="../../../virteal/wiki/$f";
-  echo Compare $other_f;
   if [ "$f" -ot "$other_f" ]; then
+    echo Updating $f
     cp -f "$other_f" "$f"
     git add "$f"
   fi