Om de ûnderfining foar jo te ferbetterjen is tydlik de funksjonaliteit dan dizze website troch ûnderhâldswurk beheind. Wannear in artikel jo probleem net oplost en jo in fraach stelle wolle, kin ús stipemienskip jo helpe yn @FirefoxSupport op Twitter en /r/firefox op Reddit.

Sykje yn Support

Mij stipescams. Wy sille jo nea freegje in telefoannûmer te beljen, der in sms nei ta te stjoeren of persoanlike gegevens te dielen. Meld fertochte aktiviteit mei de opsje ‘Misbrûk melde’.

Mear ynfo

Copy Developer Tools settings to another profile

  • 3 antwurd
  • 0 hawwe dit probleem
  • Lêste antwurd fan Boudewijn

more options

I have created a new Firefox profile. Now I want to copy my settings of the Developer Tools to this new profile. This should also include the custom device settings for the Responsive Design Mode. Is there a file (or files) in the profile-folder that contains these settings, and can I copy this file (or files) to the new profile? I found this link about copying profile files, but it doesn't mention devtools settings.

I have created a new Firefox profile. Now I want to copy my settings of the Developer Tools to this new profile. This should also include the custom device settings for the Responsive Design Mode. Is there a file (or files) in the profile-folder that contains these settings, and can I copy this file (or files) to the new profile? I found [https://support.mozilla.org/en-US/kb/recovering-important-data-from-an-old-profile#w_bookmarks-downloads-and-browsing-history this link] about copying profile files, but it doesn't mention devtools settings.

Alle antwurden (3)

more options

Such settings are stored in prefs.js. Best is not to copy this file to a new profile since it stores internally used meta data that is profile specific, but only copy user_pref() lines you need to prefs.js in the new profile with Firefox closed.

Behelpsum?

more options

If you created custom devices, I think they were added to a storage database at:

[profile.folder]\storage\permanent\indexeddb+++fx-devtools

You could try migrating that folder to your new profile.

Behelpsum?

more options

Dear cor-el and jscher200, thanks for your answers.

As I was especially interested in copying my custom device settings, I found a line in the prefs.js file that starts with: user_pref("devtools.responsive.html.displayedDeviceList". But that contains only the names of my added devices. So copying only that line did not work.

I expect that jscher200 is right that the actual values for my custom devices are stored in the mentioned database. But I did not try to copy that folder, because I'm not sure what else I would copy to my new profile. The reason that I created a new profile was to get rid of all the "junk" that might have been collected over the years in my old profile.

So in the end I just manually created my custom devices again in the new profile; not so much effort for only 4 devices.

Behelpsum?

In fraach stelle

Jo moatte jo oanmelde by jo account om op berjochten te antwurdzjen. Stel in nije fraach as jo noch gjin account hawwe.