@Sander/others Does it work if you make the changes in one of the other config files ( https://help.ubuntu.com/community/EnvironmentVariables ) instead? If so, I can make a package that will move aside the original and put in a patched config. Patching ~/.profile is not possible because it is per-user.
@Sander/others Does it work if you make the changes in one of the other config files ( https:/ /help.ubuntu. com/community/ EnvironmentVari ables ) instead? If so, I can make a package that will move aside the original and put in a patched config. Patching ~/.profile is not possible because it is per-user.