Configurare Gedit

  • Questo topic ha 4 risposte, 2 partecipanti ed è stato aggiornato l'ultima volta 16 anni fa da Elrond.
  • Creatore
    Topic
  • #48542
    Up
    0
    Down
    ::


    Salve a tutti, sto cercando di configurare GEDIT in modo che mi compli con texexec.
    Dunque nella gestione degli strumenti esterni ho associato ad una combinazione di tasti il comando

    `gnome-terminal -x texexec $GEDIT_CURRENT_DOCUMENT_PATH`

    Il fatto è che nonostante abbia abilitato il write18 nel terminale (cioè se eseguo texexec file.tex nel terminale va tutto bene), in questo modo il codice metapost non viene processato.

    Qualcuno sa come aiutarmi?

    Grazie mille.

    ES

Visualizzazione 3 filoni di risposte
  • Autore
    Risposte
    • #48543
      Up
      0
      Down
      ::


      Una soluzione è avviare GEDIT da terminale.

    • #48544
      Up
      0
      Down
      ::


      Cioè se avvii gedit da terminale riesci a fare ciò che vuoi ma se lo avvii da un menu no?

    • #48545
      Up
      0
      Down
      ::


      esatto!

    • #48546
      Up
      0
      Down
      ::


      Non capisco cosa cambi 😕

      Controlla nel menu qual è il comando per avviare gedit (casomai c’è qualche opzione strana, boh…)

Visualizzazione 3 filoni di risposte
  • Devi essere connesso per rispondere a questo topic.

Go to top