From 2666734d605de1ca7b2fcbb454c3c4e7456bae94 Mon Sep 17 00:00:00 2001
From: Arnaud Legrand <arnaud.legrand@imag.fr>
Date: Thu, 19 Jul 2018 14:25:53 +0200
Subject: [PATCH] Preparing for pretty-printed html export toward FUN

---
 module2/ressources/Makefile          |  5 +++++
 module2/ressources/emacs_orgmode.org | 13 +------------
 module2/ressources/jupyter.org       | 15 +--------------
 module2/ressources/rstudio.org       | 13 ++-----------
 4 files changed, 9 insertions(+), 37 deletions(-)
 create mode 100644 module2/ressources/Makefile

diff --git a/module2/ressources/Makefile b/module2/ressources/Makefile
new file mode 100644
index 0000000..8a577cb
--- /dev/null
+++ b/module2/ressources/Makefile
@@ -0,0 +1,5 @@
+all: emacs_orgmode.html  jupyter.html  rstudio.html
+
+%.html: %.org
+	emacs -batch $^  --funcall org-html-export-to-html
+	sed -i 's/<pre /<pre style="padding-left: 30px; background-color: #f6f8fa;" /g' $@
diff --git a/module2/ressources/emacs_orgmode.org b/module2/ressources/emacs_orgmode.org
index 596be1f..ddfd7c5 100644
--- a/module2/ressources/emacs_orgmode.org
+++ b/module2/ressources/emacs_orgmode.org
@@ -3,18 +3,7 @@
 #+AUTHOR:    Arnaud Legrand
 #+DATE: June, 2018
 #+STARTUP: overview indent
-
-* Table of Contents                                                     :TOC:
- - [[#installing-emacs-org-mode-ess-and-auctex][Installing emacs, org-mode, ess, and auctex.]]
-     - [[#os-specific-installation-procedure][OS-specific installation procedure]]
-     - [[#a-simple-reproducible-research-emacs-configuration-][A simple "/reproducible research/" emacs configuration ]]
- - [[#emacs-tips-and-tricks][Emacs Tips and tricks]]
-     - [[#cheat-sheets][Cheat-sheets]]
-     - [[#video-tutorials][Video tutorials]]
-     - [[#additional-useful-emacs-packages][Additional useful emacs packages]]
-     - [[#other-resources][Other resources]]
- - [[#a-replicable-article][A replicable article]]
-     - [[#a-stub-of-replicable-article][A stub of replicable article]]
+#+OPTIONS: num:nil toc:t
 
 * Installing emacs, org-mode, ess, and auctex.
 ** OS-specific installation procedure
diff --git a/module2/ressources/jupyter.org b/module2/ressources/jupyter.org
index ccad9b6..8c333e9 100644
--- a/module2/ressources/jupyter.org
+++ b/module2/ressources/jupyter.org
@@ -3,20 +3,7 @@
 #+AUTHOR:    Arnaud Legrand
 #+DATE: June, 2018
 #+STARTUP: overview indent
-
-* Table of Contents                                                     :TOC:
- - [[#interacting-with-gitlab][Interacting with gitlab]]
- - [[#additional-jupyter-resources-or-tricks][Additional Jupyter resources or tricks]]
-     - [[#tips-and-tricks][Tips and tricks]]
-     - [[#running-r-and-python-in-the-same-notebook][Running R and Python in the same notebook]]
-     - [[#exporting-a-notebook][Exporting a notebook]]
- - [[#installing-jupyter-or-jupyter-hub-on-your-own-machine][Installing jupyter or jupyter hub on your own machine]]
-     - [[#installing-jupyter][Installing jupyter]]
-     - [[#using-r][Using R]]
-     - [[#exporting-your-notebooks-with-latex][Exporting your notebooks with latex]]
-     - [[#interacting-with-gitlab][Interacting with gitlab]]
-     - [[#interesting-extensions][Interesting extensions]]
-     - [[#installing-jupyterhub][Installing jupyterhub]]
+#+OPTIONS: num:nil toc:t
 
 * Interacting with gitlab
 #+BEGIN_QUOTE
diff --git a/module2/ressources/rstudio.org b/module2/ressources/rstudio.org
index b1d646a..71786c2 100644
--- a/module2/ressources/rstudio.org
+++ b/module2/ressources/rstudio.org
@@ -3,16 +3,7 @@
 #+AUTHOR:    Arnaud Legrand
 #+DATE: June, 2018
 #+STARTUP: overview indent
-
-* Table of Contents                                                     :TOC:
- - [[#installing-rstudio][Installing Rstudio]]
-     - [[#linux-debian-ubuntu][Linux (debian, ubuntu)]]
-     - [[#mac-osx-and-windows][Mac OSX and Windows]]
- - [[#installing-git][Installing Git]]
-     - [[#linux-debian-ubuntu][Linux (debian, ubuntu)]]
-     - [[#mac-osx-and-windows][Mac OSX and Windows]]
- - [[#rstudio-and-gitgithubgitlab][Rstudio and git/github/gitlab]]
- - [[#cheat-sheets][Cheat Sheets]]
+#+OPTIONS: num:nil toc:t
 
 * Installing Rstudio
 ** Linux (debian, ubuntu)
@@ -91,7 +82,7 @@ apt-get update ; apt-get install git
 - Optional Git clients (should not be needed if you work within
   Rstudio):
   - [[https://www.sourcetreeapp.com/][SourceTree]]
-  - [[github desktop][GitHub Desktop]] 
+  - [[https://desktop.github.com/][GitHub Desktop]] 
     #+BEGIN_QUOTE
     [[https://github.com/desktop/desktop/issues/852][Apparently]], this works with gitlab and https.
     #+END_QUOTE
-- 
2.18.1