Problem with mapping a key to multiple characters (Unicode + diacritic symbol)

[Ilya Anfimov]

On Tue, Mar 19, 2019 at 12:14:32AM +0100, Pierre-Luc Angles wrote:
> 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?

 Don't take it too seriously.
 It really doesn't matter.