Gruppo Utilizzatori Italiani di TeX

problema con pdftoipe

  • Creatore
    Topic
  • 24 Giugno 2010 alle 7:38 #46518
    Spike
      Up
      0
      Down
      ::


      Buongiorno a tutti! Ho un problema con il programma Ipe. In particolare se cerco di trasformare un .pdf in .xml tramite pdftoipe il file viene creato, però quando tento di aprire il file con Ipe mi viene restituito l’errore
      `”the document could not be opened. The Ipe version of this document is too old”`
      Non credo che sia un problema di versioni in quanto ho scaricato Ipe e pdftoipe nello stesso giorno e nel file readme.txt di pdftoipe c’è scritto che è in grado di creare formati compatibili con ipe 7 (io ho la versione 7.0.10). La versione di pdftoipe, invece, è l’unica presente sul sito http://sourceforge.net/projects/ipe7/files/ e cioè la 2009/10/14. L’unica cosa che mi fa dubitare è che quando digito pdftoipe da terminale mi dice
      `pdftoipe version 2006/10/09`
      e questo mi turba un pò. Qualcuno sa aiutarmi?
      Se non si fosse capito sono sotto Ubuntu (10.04), anche perchè pdftoipe esiste solo per linux (credo)

      Grazie anticipatamente!

      Fra

    • Creatore
      Topic
    Visualizzazione 5 filoni di risposte
    • Autore
      Risposte
      • 24 Giugno 2010 alle 8:18 #46519
        Spike
          Up
          0
          Down
          ::


          Ok risolto da solo! In pratica avevo un’altra versione di pdftoipe installata da repository e mi faceva funzionare quella da terminale anche se stavo nella cartella dove c’era l’eseguibile della nuova versione!qualcuno sa dirmi come mai? Per ovviare comunque ho cancellato la vecchia e spostato l’eseguibile (che dovrebbe essere l’unico file di cui è composto il programma) in /usr/bin. Ho fatto bene? Oppure c’è un altro modo per far funzionare tutto?

          Grazie
          Fra

        • 27 Giugno 2010 alle 7:52 #46520
          capitalaslash
            Up
            0
            Down
            ::


            copiare file in /usr/bin non e’ sicuramente la mossa piu’ ortodossa!
            anche perche’ un aggiornamento di sistema potrebbe sovrascriverti il file.
            la manovra giusta e’ mettere questi eseguibili in $HOME/bin.
            questo percorso finisce automaticamente davanti a quelli di sistema, quindi se ci sono 2 versioni dello stesso programma quello nella tua bin avra’ la precedenza.
            puoi verificare quale programma stia girando con

            `$ which nomeprogramma`

            che ti dice quale andra’ a prendere.
            ubuntu ha la pessima abitudine di non creare la cartella bin nella home, creala tu.

          • 27 Giugno 2010 alle 7:58 #46521
            Spike
              Up
              0
              Down
              ::


              Grazie mille per la risposta! Una cosa non ho capito: la cartella la devo creare in /home in modo che sia /home/bin oppure in /home/spike/ in modo che sia /home/spike/bin? Scusami ma non sono praticissimo di Ubuntu! Lo utilizzo da poco!

              Ancora grazie!!!
              Fra

            • 27 Giugno 2010 alle 8:33 #46522
              capitalaslash
                Up
                0
                Down
                ::


                la variabile $HOME contiene il percorso della home dell’utente, quindi /home/nomeutente.
                la cartella da creare e’ /home/nomeutente/bin o equivalentemente $HOME/bin.
                tutte le operazioni che ti ho segnalato vanno rigorosamente senza sudo.
                si puo’ fare (quasi) tutto senza abusare dei privilegi da root di abitudine windowsiana!

              • 27 Giugno 2010 alle 14:07 #46523
                Elrond
                  Up
                  0
                  Down
                  ::


                  Leggere il manuale di ipe male non fa: http://ipe7.sourceforge.net/manual/manual_ipe6_to_ipe7.html

                • 28 Giugno 2010 alle 7:31 #46524
                  Spike
                    Up
                    0
                    Down
                    ::

                    la variabile $HOME contiene il percorso della home dell’utente, quindi /home/nomeutente.
                    la cartella da creare e’ /home/nomeutente/bin o equivalentemente $HOME/bin.
                    tutte le operazioni che ti ho segnalato vanno rigorosamente senza sudo.
                    si puo’ fare (quasi) tutto senza abusare dei privilegi da root di abitudine windowsiana!

                    Perfetto ora dando il comando which pdftoipe mi viene restituito /home/spike/bin/pdftoipe!
                    Grazie per aver risolto (anche 😉 ) questo problema!

                    Leggere il manuale di ipe male non fa: http://ipe7.sourceforge.net/manual/manual_ipe6_to_ipe7.html

                    Hai ragione. Può tornare sempre utile! Grazie!

                    Fra

                • Autore
                  Risposte
                Visualizzazione 5 filoni di risposte
                • Devi essere connesso per rispondere a questo topic.

                Go to top▲