Ko tenda hembiapoite sa’ivéta oñemba’apokuévo hese hembiapo porãve hag̃ua. Peteĩ jehaipyre nomoĩporãiramo ne apañuái ha eporanduséramo, roguerekohína ore nepytyvõ rekoha ikatútava ndeykeko @FirefoxSupport Twitter-pe ha avei /r/firefox Reddit-pe.

Eheka Pytyvõha

Emboyke pytyvõha apovai. Ndorojeruremo’ãi ehenói térã eñe’ẽmondóvo pumbyrýpe ha emoherakuãvo marandu nemba’etéva. Emombe’u tembiapo imarãkuaáva ko “Marandu iñañáva” rupive.

Kuaave

Copy Developer Tools settings to another profile

  • 3 Mbohovái
  • 0 oguereko ko apañuãi
  • Mbohovái ipaháva 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.

Opaite Mbohovái (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.

¿Imba’eporãva?

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.

¿Imba’eporãva?

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.

¿Imba’eporãva?

Eporandumína

Nde eikéke nde mba’etepe embohovái hag̃ua ñe’ẽmondo. Ikatúpa, emoñepyrũ peteĩ porandu, ndereguerekói gueteriramo nemba’ete.