slacky.eu

Vorrei esportare i preferiti di Mozilla (uso l´1.4) ma chissà perchè "Bookmarks->Manage Bookmarks->Tools->Export..." non funziona.
<BR>Come mai?
<BR>Esiste un´alternativa?
<BR>
<BR>Sicuramente qualcuno mi dirà di passare all´1.6, anticipo quindi dicendo che non ho intenzione di farlo prima di salvare i preferiti, per sicurezza.
<BR>
<BR>Grazie a tutti. <br>

Pesca il file bookmarks.html nella tua home/.mozilla/default etc etc<br>

Che strano, avrei giurato di aver già scritto la replica... mah.
<BR>
<BR>Comunque, ho rimosso Mozilla 1.4 e ho installato la versione 1.6.
<BR>Ho riscontrato i seguenti problemi:
<BR>1) il comando "mozilla" non funziona più, è necessario "/usr/local/mozilla/mozilla"; è qualcosa legato anche a KDEInit.
<BR>2) i font importati da Windows non compaiono tra quelli disponibili a Mozilla.
<BR>
<BR>Come si può ovviare a questi inconvenienti?<br>