Changeset 560 for configs

Timestamp:

09/25/17 11:01:53 (7 years ago)

Author:

dubos

Message:

testing : fix some issues with auto-generated correctness report

Location:

configs/testing/bash

Files:

• info.sh (added)
• post.sh (modified) (3 diffs)

configs/testing/bash/post.sh

@@ -2 +2 @@
 
 function to_latex() {
-echo $1 | sed 's/_/\\_/g'
+echo "$1" | sed 's/_/\\_/g'
 }
 
@@ -79 +79 @@
 \usepackage{graphicx}
 \usepackage{listings}
+% the line below tries to avoid font issues on Curie
+\usepackage{lmodern}
 \usepackage[T1]{fontenc}
 \usepackage[latin9]{inputenc}
@@ -98 +100 @@
 
 \begin{abstract}
-$(abstract)
+$(to_latex "$(abstract)")
 \end{abstract}