- Questo topic ha 6 risposte, 5 partecipanti ed è stato aggiornato l'ultima volta 14 anni, 2 mesi fa da .
-
Topic
-
Salve.
Dopo aver cambiato sistema operativo sto configurando gedit per il lavoro con TeX.
Mi trovo alle prese con le seguenti righe bash (destinate a diventare il comando di compilazione in gedit)`#!/bin/sh
TEXFILE=test.tex # il file con il codice TeX
PDFFILE=${TEXFILE/%.*/.pdf} # DOVREBBE essere “test.pdf”
LOGFILE=${TEXFILE/%.*/.log} # DOVREBBE essere “test.log”
if pdftex -halt-on-error -synctex=1 $TEXFILE; then # se la compilazione riesce…
evince $PDFFILE # apre il file pdf in evince
else gedit $LOGFILE # altrimenti mostra il file di log
fi`già al terzo rigo (PDFFILE=${TEXFILE/%.*/.pdf}) ricevo l’errore “Bad substitution”.
Qualcuno può dirmi dov’è l’errore?
Grazie, ciao.
- Devi essere connesso per rispondere a questo topic.