Buon pomeriggio a tutti,
avrei bisogno di uno script bash per
1) ricavare da un profilo di Mozilla Firefox di un utente ($HOME/.mozilla) i bookmark e le password salvate 2) backuppare il vecchio profilo con semplice mv .... 2) creare un nuovo profilo (o anche più semplicemente copiare un profilo vergine preimpostato) 3) copiare i bookmark e le pwd salvate.
Secondo voi c'è qualcos'altro da salvare? Eventuali plugin installati non mi interessano perché li metto nel profilo vergine.
Chi avrebbe voglia di cimentarsi?
Grazie in anticipo per l'aiuto, Paolo.
Ottimo avanzamento; ora però il comando sed dovrei attivare prima o durante di ogni esecuzione di Firefox, wrappandone il lancio in uno script custom. Oppure utilizzare un cron settimanale (scelta facile da scordare nel tempo...) Come agiresti?
--------------------------------------- Diego Maniacco, Bolzano (Italy) diego.maniacco@gmail.com ---------------------------------------
[image: Not f'd — you won't find me on Facebook] https://www.fsf.org/fb Not f'd — you won't find me on FacebookNot wa'd — you won't find me on WhatsApp
On Thu, 22 Oct 2020 at 11:56, Michael von Guggenberg < michael.vonguggenberg@gmail.com> wrote:
Buonasera Michael.
Interessante il tuo suggerimento, che ho provato, ottimo. Per generare però anche uno storico (ad esempio su base settimanale, cambiando in automatico il nome del file bookmarks.html in, ad esempio bookmarks-2020-43.html) ho provato ad utilizzare una variabile calcolata:
user_pref("browser.bookmarks.file", "/home/myuser/bookmarks-$(date '+%Y-%V').html");
sed -i "s|bookmarks|bookmarks-$(date '+%Y-%V')|g" pref.js
ma non viene risolto.
Hai idea di come sia possibile utilizzare una variabile di ambiente Linux calcolata da un .js ?
diego
Am Mo., 19. Okt. 2020 um 22:17 Uhr schrieb Diego Maniacco < diego.maniacco@gmail.com>:
Buonasera Michael. Interessante il tuo suggerimento, che ho provato, ottimo. Per generare però anche uno storico (ad esempio su base settimanale, cambiando in automatico il nome del file bookmarks.html in, ad esempio bookmarks-2020-43.html) ho provato ad utilizzare una variabile calcolata:
user_pref("browser.bookmarks.file", "/home/myuser/bookmarks-$(date '+%Y-%V').html");
ma non viene risolto.
Hai idea di come sia possibile utilizzare una variabile di ambiente Linux calcolata da un .js ?
diego
Diego Maniacco, Bolzano (Italy) diego.maniacco@gmail.com
[image: Not f'd — you won't find me on Facebook] https://www.fsf.org/fb Not f'd — you won't find me on FacebookNot wa'd — you won't find me on WhatsApp
On Sat, 17 Oct 2020 at 19:20, Michael von Guggenberg < michael.vonguggenberg@gmail.com> wrote:
Buon pomeriggio a tutti,
avrei bisogno di uno script bash per
- ricavare da un profilo di Mozilla Firefox di un utente
($HOME/.mozilla) i bookmark e le password salvate
Bookmark È possibile abilitare un export dei bookmarks in formato html modificano il profilo prefs.js dell' utente ogni volta che l'applicazione stessa viene terminata: user_pref("browser.bookmarks.autoExportHTML", true); user_pref("browser.bookmarks.file", "/home/myuser/bookmarks.html");
Per importare i bookmark quando si lancia firefox: user_pref("browser.places.importBookmarksHTML", true);user_pref("browser.bookmarks.file", "/home/myuser/bookmarks.html"); user_pref("browser.bookmarks.restore_default_bookmarks", false); Password Per le password basta salvare due file: logins.json key4.db
Ciao, Guggi
- backuppare il vecchio profilo con semplice mv ....
- creare un nuovo profilo (o anche più semplicemente copiare un
profilo vergine preimpostato) 3) copiare i bookmark e le pwd salvate.
Secondo voi c'è qualcos'altro da salvare? Eventuali plugin installati non mi interessano perché li metto nel profilo vergine.
Chi avrebbe voglia di cimentarsi?
Grazie in anticipo per l'aiuto, Paolo.
Buonasera Michael. Interessante il tuo suggerimento, che ho provato, ottimo. Per generare però anche uno storico (ad esempio su base settimanale, cambiando in automatico il nome del file bookmarks.html in, ad esempio bookmarks-2020-43.html) ho provato ad utilizzare una variabile calcolata:
user_pref("browser.bookmarks.file", "/home/myuser/bookmarks-$(date '+%Y-%V').html");
sed -i "s|bookmarks|bookmarks-$(date '+%Y-%V')|g" pref.js
ma non viene risolto.
Hai idea di come sia possibile utilizzare una variabile di ambiente Linux calcolata da un .js ?
diego
Am Mo., 19. Okt. 2020 um 22:17 Uhr schrieb Diego Maniacco < diego.maniacco@gmail.com>:
Buonasera Michael. Interessante il tuo suggerimento, che ho provato, ottimo. Per generare però anche uno storico (ad esempio su base settimanale, cambiando in automatico il nome del file bookmarks.html in, ad esempio bookmarks-2020-43.html) ho provato ad utilizzare una variabile calcolata:
user_pref("browser.bookmarks.file", "/home/myuser/bookmarks-$(date '+%Y-%V').html");
ma non viene risolto.
Hai idea di come sia possibile utilizzare una variabile di ambiente Linux calcolata da un .js ?
diego
Diego Maniacco, Bolzano (Italy) diego.maniacco@gmail.com
[image: Not f'd — you won't find me on Facebook] https://www.fsf.org/fb Not f'd — you won't find me on FacebookNot wa'd — you won't find me on WhatsApp
On Sat, 17 Oct 2020 at 19:20, Michael von Guggenberg < michael.vonguggenberg@gmail.com> wrote:
Buon pomeriggio a tutti,
avrei bisogno di uno script bash per
- ricavare da un profilo di Mozilla Firefox di un utente
($HOME/.mozilla) i bookmark e le password salvate
Bookmark È possibile abilitare un export dei bookmarks in formato html modificano il profilo prefs.js dell' utente ogni volta che l'applicazione stessa viene terminata: user_pref("browser.bookmarks.autoExportHTML", true); user_pref("browser.bookmarks.file", "/home/myuser/bookmarks.html");
Per importare i bookmark quando si lancia firefox: user_pref("browser.places.importBookmarksHTML", true);user_pref("browser.bookmarks.file", "/home/myuser/bookmarks.html"); user_pref("browser.bookmarks.restore_default_bookmarks", false); Password Per le password basta salvare due file: logins.json key4.db
Ciao, Guggi
- backuppare il vecchio profilo con semplice mv ....
- creare un nuovo profilo (o anche più semplicemente copiare un profilo
vergine preimpostato) 3) copiare i bookmark e le pwd salvate.
Secondo voi c'è qualcos'altro da salvare? Eventuali plugin installati non mi interessano perché li metto nel profilo vergine.
Chi avrebbe voglia di cimentarsi?
Grazie in anticipo per l'aiuto, Paolo.
Buonasera Michael. Interessante il tuo suggerimento, che ho provato, ottimo. Per generare però anche uno storico (ad esempio su base settimanale, cambiando in automatico il nome del file bookmarks.html in, ad esempio bookmarks-2020-43.html) ho provato ad utilizzare una variabile calcolata:
user_pref("browser.bookmarks.file", "/home/myuser/bookmarks-$(date '+%Y-%V').html");
ma non viene risolto.
Hai idea di come sia possibile utilizzare una variabile di ambiente Linux calcolata da un .js ?
diego
--------------------------------------- Diego Maniacco, Bolzano (Italy) diego.maniacco@gmail.com ---------------------------------------
[image: Not f'd — you won't find me on Facebook] https://www.fsf.org/fb Not f'd — you won't find me on FacebookNot wa'd — you won't find me on WhatsApp
On Sat, 17 Oct 2020 at 19:20, Michael von Guggenberg < michael.vonguggenberg@gmail.com> wrote:
Buon pomeriggio a tutti,
avrei bisogno di uno script bash per
- ricavare da un profilo di Mozilla Firefox di un utente
($HOME/.mozilla) i bookmark e le password salvate
Bookmark È possibile abilitare un export dei bookmarks in formato html modificano il profilo prefs.js dell' utente ogni volta che l'applicazione stessa viene terminata: user_pref("browser.bookmarks.autoExportHTML", true); user_pref("browser.bookmarks.file", "/home/myuser/bookmarks.html");
Per importare i bookmark quando si lancia firefox: user_pref("browser.places.importBookmarksHTML", true);user_pref("browser.bookmarks.file", "/home/myuser/bookmarks.html"); user_pref("browser.bookmarks.restore_default_bookmarks", false); Password Per le password basta salvare due file: logins.json key4.db
Ciao, Guggi
- backuppare il vecchio profilo con semplice mv ....
- creare un nuovo profilo (o anche più semplicemente copiare un profilo
vergine preimpostato) 3) copiare i bookmark e le pwd salvate.
Secondo voi c'è qualcos'altro da salvare? Eventuali plugin installati non mi interessano perché li metto nel profilo vergine.
Chi avrebbe voglia di cimentarsi?
Grazie in anticipo per l'aiuto, Paolo.
Ho scoperto qualcosa oggi con Firefox --help (da riga comando) L'opzionr --ProfileManager è interessante. --------------------------------------- Diego Maniacco, Bolzano (Italy) diego.maniacco@gmail.com ---------------------------------------
[image: Not f'd — you won't find me on Facebook] https://www.fsf.org/fb Not f'd — you won't find me on FacebookNot wa'd — you won't find me on WhatsApp
On Sat, 17 Oct 2020 at 15:56, Paolo Dongilli paolo.dongilli@lugbz.org wrote:
Buon pomeriggio a tutti,
avrei bisogno di uno script bash per
- ricavare da un profilo di Mozilla Firefox di un utente ($HOME/.mozilla)
i bookmark e le password salvate 2) backuppare il vecchio profilo con semplice mv .... 2) creare un nuovo profilo (o anche più semplicemente copiare un profilo vergine preimpostato) 3) copiare i bookmark e le pwd salvate.
Secondo voi c'è qualcos'altro da salvare? Eventuali plugin installati non mi interessano perché li metto nel profilo vergine.
Chi avrebbe voglia di cimentarsi?
Grazie in anticipo per l'aiuto, Paolo. _______________________________________________
Buon pomeriggio a tutti,
avrei bisogno di uno script bash per
- ricavare da un profilo di Mozilla Firefox di un utente ($HOME/.mozilla)
i bookmark e le password salvate
Bookmark È possibile abilitare un export dei bookmarks in formato html modificano il profilo prefs.js dell' utente ogni volta che l'applicazione stessa viene terminata: user_pref("browser.bookmarks.autoExportHTML", true); user_pref("browser.bookmarks.file", "/home/myuser/bookmarks.html");
Per importare i bookmark quando si lancia firefox: user_pref("browser.places.importBookmarksHTML", true);user_pref("browser.bookmarks.file", "/home/myuser/bookmarks.html"); user_pref("browser.bookmarks.restore_default_bookmarks", false); Password Per le password basta salvare due file: logins.json key4.db
Ciao, Guggi
2) backuppare il vecchio profilo con semplice mv ....
- creare un nuovo profilo (o anche più semplicemente copiare un profilo
vergine preimpostato) 3) copiare i bookmark e le pwd salvate.
Secondo voi c'è qualcos'altro da salvare? Eventuali plugin installati non mi interessano perché li metto nel profilo vergine.
Chi avrebbe voglia di cimentarsi?
Grazie in anticipo per l'aiuto, Paolo.
-
Diego Maniacco -
Michael von Guggenberg -
Paolo Dongilli