Avatar for Username

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

This thread was archived. Please ask a new question if you need help.

Firefox with distribution ID

  • 3 replies
  • 1 has this problem
  • 6 views
  • Last reply by cor-el

replica9000
replica9000
more options

I know this seems silly, but Firefox on my system appears as "Linux x86_64" and I want it to appear as "Debian Linux x86_64".

I know I can use the general.useragent.override option in the user_prefs.js file, but it seems I can't use a partial string for just the platform token of the user agent. So everytime I update Firefox, I would also have to update the Firefox version number in the user_prefs.js file.

I've also compiled Firefox using the --with-distribution-id=org.debian in mozconfig, but that option doesn't seem to affect anything.

Is there another file I should be looking at before or after compile? Or maybe a different string in the user_prefs.js file?

I know this seems silly, but Firefox on my system appears as "Linux x86_64" and I want it to appear as "Debian Linux x86_64". I know I can use the general.useragent.override option in the user_prefs.js file, but it seems I can't use a partial string for just the platform token of the user agent. So everytime I update Firefox, I would also have to update the Firefox version number in the user_prefs.js file. I've also compiled Firefox using the --with-distribution-id=org.debian in mozconfig, but that option doesn't seem to affect anything. Is there another file I should be looking at before or after compile? Or maybe a different string in the user_prefs.js file?

All Replies (3)

cor-el
cor-el
  • Moderator
  • Top 10 Contributor
more options

Any particular reason why you want that extra detail in the user agent?

There is usually no need for such an addition as only the platform and the Firefox version would matter.

replica9000
replica9000 Question owner
more options

Some websites, such as linuxquestions.org, do use it. I know it's not important, just one of those customizations I was curious about. I suppose I could simply write a script that will update the user_pref.js when I update Firefox.

cor-el
cor-el
  • Moderator
  • Top 10 Contributor
more options

There used to have been the possibility to have a user agent override for a specific server/domain, but this feature has been removed.

You can try: