Problem with mapping a key to multiple characters (Unicode + diacritic symbol)
wharms at bfs.de
Tue Mar 19 10:35:23 UTC 2019
> Pierre-Luc Angles <angles at stud.uni-heidelberg.de> hat am 19. März 2019 um
> 00:14 geschrieben:
> Thanks for your answers!
> I do not have ideas if Ilya or Walter is right for the configuration of
> /etc/profile... Do others have an idea?
It is a matter of taste actualy, i do not like to interfere with systemsetups
1. it can cause problems with updates
2. many people do not understand they change things for *everyone* on the system
In the end you have to choose what you can think you can handle.
> Thanks again and sorry if I am bothering you.
> Le 18/03/2019 à 17:57, Ilya Anfimov a écrit :
> >> please note that /etc/profile is the system-wide profile.
> >> do not change that.
> > I think this could be exactly the reason to do so!
> xorg at lists.x.org: X.Org support
> Archives: http://lists.freedesktop.org/archives/xorg
> Info: https://lists.x.org/mailman/listinfo/xorg
> Your subscription address: %(user_address)s
More information about the xorg