[Bug 3923] Re: Cannot change default character encoding
** Changed in: gnome-terminal (Debian) Status: Confirmed = Fix Released -- You received this bug notification because you are a member of Ubuntu Desktop Bugs, which is a bug assignee. https://bugs.launchpad.net/bugs/3923 Title: Cannot change default character encoding To manage notifications about this bug go to: https://bugs.launchpad.net/gnome-terminal/+bug/3923/+subscriptions -- desktop-bugs mailing list desktop-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/desktop-bugs
[Bug 3923] Re: Cannot change default character encoding
** Changed in: gnome-terminal Status: Confirmed = Fix Released -- You received this bug notification because you are a member of Ubuntu Desktop Bugs, which is a bug assignee. https://bugs.launchpad.net/bugs/3923 Title: Cannot change default character encoding To manage notifications about this bug go to: https://bugs.launchpad.net/gnome-terminal/+bug/3923/+subscriptions -- desktop-bugs mailing list desktop-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/desktop-bugs
[Bug 3923] Re: Cannot change default character encoding
** Branch linked: lp:ubuntu/gnome-terminal -- You received this bug notification because you are a member of Ubuntu Desktop Bugs, which is a bug assignee. https://bugs.launchpad.net/bugs/3923 Title: Cannot change default character encoding To manage notifications about this bug go to: https://bugs.launchpad.net/gnome-terminal/+bug/3923/+subscriptions -- desktop-bugs mailing list desktop-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/desktop-bugs
[Bug 3923] Re: Cannot change default character encoding
This bug was fixed in the package gnome-terminal - 3.3.0-0ubuntu1 --- gnome-terminal (3.3.0-0ubuntu1) precise; urgency=low * New upstream release. - Add gconf setting to change default encoding (LP: #3923) - Should work now on Broadway -- Jeremy Bicha jbi...@ubuntu.com Thu, 23 Feb 2012 10:10:15 -0500 ** Changed in: gnome-terminal (Ubuntu) Status: Triaged = Fix Released -- You received this bug notification because you are a member of Ubuntu Desktop Bugs, which is a bug assignee. https://bugs.launchpad.net/bugs/3923 Title: Cannot change default character encoding To manage notifications about this bug go to: https://bugs.launchpad.net/gnome-terminal/+bug/3923/+subscriptions -- desktop-bugs mailing list desktop-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/desktop-bugs
[Bug 3923] Re: Cannot change default character encoding
Seems to be more or less the same issue as http://bugs.debian.org/cgi- bin/bugreport.cgi?bug=512497 ** Bug watch added: Debian Bug tracker #512497 http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=512497 -- You received this bug notification because you are a member of Ubuntu Desktop Bugs, which is a bug assignee. https://bugs.launchpad.net/bugs/3923 Title: Cannot change default character encoding To manage notifications about this bug go to: https://bugs.launchpad.net/gnome-terminal/+bug/3923/+subscriptions -- desktop-bugs mailing list desktop-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/desktop-bugs
[Bug 3923] Re: Cannot change default character encoding
** Also affects: gnome-terminal (Debian) via http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=512497 Importance: Unknown Status: Unknown -- You received this bug notification because you are a member of Ubuntu Desktop Bugs, which is a bug assignee. https://bugs.launchpad.net/bugs/3923 Title: Cannot change default character encoding To manage notifications about this bug go to: https://bugs.launchpad.net/gnome-terminal/+bug/3923/+subscriptions -- desktop-bugs mailing list desktop-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/desktop-bugs
[Bug 3923] Re: Cannot change default character encoding
** Changed in: gnome-terminal (Debian) Status: Unknown = Confirmed -- You received this bug notification because you are a member of Ubuntu Desktop Bugs, which is a bug assignee. https://bugs.launchpad.net/bugs/3923 Title: Cannot change default character encoding To manage notifications about this bug go to: https://bugs.launchpad.net/gnome-terminal/+bug/3923/+subscriptions -- desktop-bugs mailing list desktop-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/desktop-bugs
[Bug 3923] Re: Cannot change default character encoding
I want use Utf8 as default coding and i cannot get it as default at terminal starting my locale is correctly configured but i always get as default encoding ANSI_X3.4-1968 A work around on Ubuntu 10.04.2 cd .gconf/apps/gnome-terminal/global/ mv %gconf.xml $HOME/. I do a logout and then i login before login i set/check the lang setting from login screen option (gdm) and .gconf/apps/gnome-terminal/global/%gconf.xml was recreated and now from terminal i can have Utf8 as default. Hope this helps -- You received this bug notification because you are a member of Ubuntu Desktop Bugs, which is a bug assignee. https://bugs.launchpad.net/bugs/3923 Title: Cannot change default character encoding -- desktop-bugs mailing list desktop-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/desktop-bugs
[Bug 3923] Re: Cannot change default character encoding
** Changed in: gnome-terminal Importance: Unknown = Wishlist -- Cannot change default character encoding https://bugs.launchpad.net/bugs/3923 You received this bug notification because you are a member of Ubuntu Desktop Bugs, which is a bug assignee. -- desktop-bugs mailing list desktop-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/desktop-bugs
[Bug 3923] Re: Cannot change default character encoding
Chris Coulson, neither of the comments which you appear to dislike are simply +1 votes; rgaobr said he doesn't know how to use the .diff patch file, and Haarvard Ostermann wrote that the workarounds are neither user friendly nor reliable, both of which are perfectly legitimate comments on a bug tracker. To rgaobr, you need to download gnome-terminal-dev which contains the source code for the software, as well as the .diff patch file. To use the patch, change directory cd gnome-terminal and type patch -p1 ../default_encoding-2.13.91.diff (or whatever path you downloaded the patch file). -- Cannot change default character encoding https://bugs.launchpad.net/bugs/3923 You received this bug notification because you are a member of Ubuntu Desktop Bugs, which is a bug assignee. -- desktop-bugs mailing list desktop-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/desktop-bugs
[Bug 3923] Re: Cannot change default character encoding
** Tags added: patch-forwarded-upstream -- Cannot change default character encoding https://bugs.launchpad.net/bugs/3923 You received this bug notification because you are a member of Ubuntu Desktop Bugs, which is a bug assignee. -- desktop-bugs mailing list desktop-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/desktop-bugs
[Bug 3923] Re: Cannot change default character encoding
+1 to add --encoding as a flag to define character set for that session. I need my terminal to use iso-8859-1 some times, and the described workarounds above are neither user friendly or reliable. -- Cannot change default character encoding https://bugs.launchpad.net/bugs/3923 You received this bug notification because you are a member of Ubuntu Desktop Bugs, which is a bug assignee. -- desktop-bugs mailing list desktop-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/desktop-bugs
[Bug 3923] Re: Cannot change default character encoding
Can people please stop adding +1 comments. They aren't useful and they just create unnecessary bug spam for people subscribed. The bug tracker isn't a place to poll or vote, but if you want to register that the bug affects you, then there is a link at the top of the page which allows you to do this without e-mailing lots of people (https://bugs.launchpad.net/ubuntu/+source/gnome- terminal/+bug/3923/+affectsmetoo) -- Cannot change default character encoding https://bugs.launchpad.net/bugs/3923 You received this bug notification because you are a member of Ubuntu Desktop Bugs, which is a bug assignee. -- desktop-bugs mailing list desktop-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/desktop-bugs
[Bug 3923] Re: Cannot change default character encoding
+1 vote for the preceding comment. Moreover, unfortunately, I do not know how to use the .diff patch file. :( -- Cannot change default character encoding https://bugs.launchpad.net/bugs/3923 You received this bug notification because you are a member of Ubuntu Desktop Bugs, which is a bug assignee. -- desktop-bugs mailing list desktop-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/desktop-bugs
[Bug 3923] Re: Cannot change default character encoding
My need isn't really to have a default setting, even though that would be nice (looking at you, COLLIN PRUITT, who invalidated this so blatantly). I am more interested in a argument flag to gnome-terminal that says use this encoding for this session. -- Cannot change default character encoding https://bugs.launchpad.net/bugs/3923 You received this bug notification because you are a member of Ubuntu Desktop Bugs, which is a bug assignee. -- desktop-bugs mailing list desktop-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/desktop-bugs
[Bug 3923] Re: Cannot change default character encoding
For me it would be great to set the default encoding in gnome-terminal to something different from the current locale. There is a patch http://launchpadlibrarian.net/1650379/default_encoding-2.13.91.diff that's supposed to do that. Perhaps it could be checked by a developer and implemented if found to be valid? Thank you Silvio Levy -- Cannot change default character encoding https://bugs.launchpad.net/bugs/3923 You received this bug notification because you are a member of Ubuntu Desktop Bugs, which is a bug assignee. -- desktop-bugs mailing list desktop-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/desktop-bugs
[Bug 3923] Re: Cannot change default character encoding
** Changed in: gnome-terminal (Ubuntu) Status: Confirmed = Triaged -- Cannot change default character encoding https://bugs.launchpad.net/bugs/3923 You received this bug notification because you are a member of Ubuntu Desktop Bugs, which is a bug assignee. -- desktop-bugs mailing list desktop-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/desktop-bugs
[Bug 3923] Re: Cannot change default character encoding
Another vote for getting this fixed ASAP. I think the encoding choice should be part of the profiles. Encodings are such an easy thing to miss that not having the option to easily set preferences and have them as default is quite dangerous imho. ** Changed in: gnome-terminal (Ubuntu) Status: Invalid = Confirmed -- Cannot change default character encoding https://bugs.launchpad.net/bugs/3923 You received this bug notification because you are a member of Ubuntu Desktop Bugs, which is a bug assignee. -- desktop-bugs mailing list desktop-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/desktop-bugs
[Bug 3923] Re: Cannot change default character encoding
For me, this bug is still valid and not fixed. I would like the encoding to be part of terminal profiles. -- Cannot change default character encoding https://bugs.launchpad.net/bugs/3923 You received this bug notification because you are a member of Ubuntu Desktop Bugs, which is a bug assignee. -- desktop-bugs mailing list desktop-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/desktop-bugs
[Bug 3923] Re: Cannot change default character encoding
Way too old to be relevant. ** Changed in: gnome-terminal (Ubuntu) Status: Confirmed = Invalid -- Cannot change default character encoding https://bugs.launchpad.net/bugs/3923 You received this bug notification because you are a member of Ubuntu Desktop Bugs, which is a bug assignee. -- desktop-bugs mailing list desktop-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/desktop-bugs
[Bug 3923] Re: Cannot change default character encoding
Above method does work reliably. Only 1 of my Ubuntus will not accept it - but then it isn't reading the current default locale of en_GB.UTF-8 either which is why its resorting to ANSI(ASCII). I might try just reinstalling Gnome Terminal. The Ubuntu in question is a 6.06 LTS - but then others of these work OK. Still it would be nice to have a Character Set option in GT Profiles. -- Cannot change default character encoding https://bugs.launchpad.net/bugs/3923 You received this bug notification because you are a member of Ubuntu Desktop Bugs, which is a bug assignee. -- desktop-bugs mailing list desktop-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/desktop-bugs
[Bug 3923] Re: Cannot change default character encoding
A permanent config for the character set would be very useful. It has long been a feature of PuTTY (Terminal Translation Chr Set). It would be best set in Profiles (similar to PuTTY's saved session) rather than globally, because its often required only for some specific purpose. The only way I have been able to do this so far, as suggested in http://osdir.com/ml/gnome.os.redhat/2002-10/msg00022.html, is to first setup the required locale eg: via: $ sudo locale-gen en_GB.ISO-8859-15 so that the new locale is listed by $ locale -a (as 'en_GB.iso885915'). Then I start GT like:- $ env LC_CTYPE=en_GB.ISO-8859-15 gnome-terminal ... --disable-factory But some of my Ubuntu's are resistant to enabling or using the new locale. Although it is listed by 'locale -a' as above, when I try to start GT as described above I get: gnome-terminal: 7773: ... locale not supported by C library. And yet I can select the same chr set from GT's Terminal Set Chr Encoding menu!? One of my GT's also shows its 'Current Locale' as 'ANSI_X3.4-1968' even though this is not listed by 'locale -a' at all!? Any helpful comments about these problems would be much appreciated. -- Cannot change default character encoding https://bugs.launchpad.net/bugs/3923 You received this bug notification because you are a member of Ubuntu Desktop Bugs, which is a bug assignee. -- desktop-bugs mailing list desktop-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/desktop-bugs
[Bug 3923] Re: Cannot change default character encoding
I think this can also be applied by just starting gnome-terminal with a different env setting, so this can be closed as it is rather old, right? -- Cannot change default character encoding https://bugs.launchpad.net/bugs/3923 You received this bug notification because you are a member of Ubuntu Desktop Bugs, which is a bug assignee. -- desktop-bugs mailing list desktop-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/desktop-bugs
Re: [Bug 3923] Re: Cannot change default character encoding
Please ignore my ignorance, but what env setting is that? One of the ones from locale(1)? I would guess LC_CTYPE. Is it possible to make this the default in a GNOME session? Perhaps it would be possible to prepend for example LC_TYPE=sv_SE.iso885915 to the commandline to be run for the Terminal entry in the applications menu? -- Henrik Holmboe, Stockholm, Sweden http://henrik.holmboe.se/contact/ -- Cannot change default character encoding https://bugs.launchpad.net/bugs/3923 You received this bug notification because you are a member of Ubuntu Desktop Bugs, which is a bug assignee. -- desktop-bugs mailing list desktop-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/desktop-bugs
[Bug 3923] Re: Cannot change default character encoding
** Changed in: gnome-terminal (upstream) Status: Unconfirmed = Confirmed -- Cannot change default character encoding https://launchpad.net/bugs/3923 -- desktop-bugs mailing list desktop-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/desktop-bugs