X-Git-Url: https://fleuret.org/cgi-bin/gitweb/gitweb.cgi?a=blobdiff_plain;f=bashrc;h=b9cefb422c405fd846e4ea0074c65e6ede5c619c;hb=2c923caa06d15b1c4de9696908108365fb2bc0e3;hp=b9a22d761d5f8f8e5d3dd5b94f5067cb401706ec;hpb=f6faa7dc12bfe7c22f5dd11147f770bb8fa5bf9c;p=scripts.git

diff --git a/bashrc b/bashrc
index b9a22d7..b9cefb4 100644
--- a/bashrc
+++ b/bashrc
@@ -192,10 +192,10 @@ function rl () {
 
         if [[ -f "${FILEBASE}.tex" ]]; then
 
-            pdflatex "${FILEBASE}"
+            pdflatex --shell-escape "${FILEBASE}"
             bibtex "${FILEBASE}"
-            pdflatex "${FILEBASE}"
-            pdflatex "${FILEBASE}"
+            pdflatex --shell-escape "${FILEBASE}"
+            pdflatex --shell-escape "${FILEBASE}"
 
             if [[ "$1" ]]; then
                 if [[ "$1" == "-v" ]] || [[ "$1" == "--view" ]]; then
@@ -268,7 +268,9 @@ function scan () {
         elif [[ "$1" == "gray" ]]; then
             OPTS+=" --mode Gray"
         elif [[ "$1" == "a4crop" ]]; then
-            OPTS+=" -l 5 -t 0 -x 200 -y 290"
+            OPTS+=" -l 5 -t 0 -x 200 -y 300"
+        elif [[ "$1" == "help" ]] || [[ "$1" == "-h" ]] || [[ "$1" == "--help" ]]; then
+            echo "$0 [color|gray] [a4crop]" && return 0
         else
             echo "Unknown argument \`$1'"
         fi
@@ -751,7 +753,9 @@ function mvtoconfig () {
 export PS1
 
 if [[ "${CONSOLE}" == "yes" ]]; then
+
     PS1=""
+
 else
 
     # If the login is a standard one (as specified in
@@ -786,6 +790,8 @@ else
 
 fi
 
+PS1="${PSCUE}${PS1}"
+
 ######################################################################
 # This implements a local history. If we are in a directory containing
 # a writable local history file, we add the last line of the global
@@ -932,9 +938,7 @@ EOF
 ######################################################################
 
 function prompt_command () {
-    # if [[ ! "${CORE_CHECK_PWD}" == ${PWD} ]] && [[ $(find . -maxdepth 1 -name "core__*" -print -quit) ]]; then
-
-    [[ "${CORE_CHECK_PWD}" == ${PWD} ]] || find . -maxdepth 1 -name "core__*"
+    [[ "${CORE_CHECK_PWD}" == ${PWD} ]] || find . -maxdepth 1 -name "core__*" | awk '{print "'${VT_RED_FG}'"$0"'${VT_RESET}'"}'
     CORE_CHECK_PWD=${PWD}
 
     # if [[ $(umask) != 0022 ]]; then