We're calling on all EU-based Mozillians with iOS or iPadOS devices to help us monitor Apple’s new browser choice screens. Join the effort to hold Big Tech to account!

Search Support

Avoid support scams. We will never ask you to call or text a phone number or share personal information. Please report suspicious activity using the “Report Abuse” option.

Learn More

Copy Developer Tools settings to another profile

  • 3 பதிலளிப்புகள்
  • 0 இந்த பிரச்னைகள் உள்ளது
  • Last reply by Boudewijn

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.

All Replies (3)

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.

Helpful?

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.

Helpful?

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.

Helpful?

கேள்வி எழுப்பு

You must log in to your account to reply to posts. Please start a new question, if you do not have an account yet.