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 Bugs, which is a direct subscriber. -- ubuntu-bugs mailing list ubuntu-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
