28 Giugno 2010 alle 7:31
#46524
::
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