לאתר זה תהיה פונקציונליות מוגבלת בזמן שאנו מתחזקים אותו לשיפור החוויה שלך. אם מאמר מסויים לא פותר את הבעיה שלך וברצונך לשאול שאלה, קהילת התמיכה שלנו מחכה לעזור לך ב־Twitter תחת ‎@FirefoxSupport וב־Reddit תחת ‎/r/firefox.

חיפוש בתמיכה

יש להימנע מהונאות תמיכה. לעולם לא נבקש ממך להתקשר או לשלוח הודעת טקסט למספר טלפון או לשתף מידע אישי. נא לדווח על כל פעילות חשודה באמצעות באפשרות ״דיווח על שימוש לרעה״.

מידע נוסף

Copy Developer Tools settings to another profile

  • 3 תגובות
  • 0 have this problem
  • 3 views
  • תגובה אחרונה מאת 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.

כל התגובות (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.

Helpful?

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.

Helpful?

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.

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.