Sam Qasbah” post=75321– Lo header #!/bin/sh è quello usato nel codice dei comandi forniti di default con il plugin.
Probabilmente chi ha scritto quelle righe di codice usa un sistema in cui /bin/sh punta a /bin/bash (se non sbaglio Fedora per default fa così), ma se la gente imparasse la differenza fra sh e bash vivremmo in un mondo (informaticamente) un po’ migliore. Non ha senso mettere /bin/sh e poi usare sostituzioni proprie della bash… (sia chiaro, non me la sto prendendo con te, non c’entri niente 😉 )
Sam Qasbah” post=75321Uso Gedit perchè è TOTALMENTE e facilmente configurabile. Ad esempio TeXWorks e Scite non sono così elastici e potenti. Gedit 3 (insieme a evince) gestisce synctex.
Se vuoi un editor totalmente configurabile dai un’occhiata a Emacs 😀 (potresti avere un po’ di difficoltà solo con synctex, ma ci stanno lavorando, con calma)