:: Re: [DNG] Bash keyboard shortcuts w…
Page principale
Supprimer ce message
Répondre à ce message
Auteur: Alessandro Selli
Date:  
À: dng
Sujet: Re: [DNG] Bash keyboard shortcuts working really ugly [SOLVED]
On Thu, 25 May 2017 at 07:30:29 +0000
Miroslav Rovis <miro.rovis@???> wrote:

> On 170525-06:51+0200, Alessandro Selli wrote:
> > On Wed, 24 May 2017 at 16:27:36 +0000 Miroslav Rovis
> > <miro.rovis@???> wrote:
> >
> ...
> > >
> > > mr@gd0v:~$ I am only trying to demonstate the issue.
> ERRATA: demonstrate
> > >
> > > That's ' I' in first editable space of the command line. I move to
> > > beginning with Ctrl-A.
> > >
> > > And I press Alt-D. Here's what I get:
> > >
> > > mr@gd0v:~$ ä I am only trying to demonstate the issue.
> ERRATA: demonstrate
> > >
> > > But I did press Alt-D... So that one doesn't work.
> ...
> > This is a problem with Xresources if it happens undr Xorg, and/or with
> > input library keybindings, that is with the .inputrc file.
> >
> > Under X I can replicate your problem when I comment this line in
> > ~/.Xresources:
> >
> > *metaSendsEscape: true
> >
> > Try uncommenting or adding this line, then run:
> >
> > xrdb -merge ~/.Xresources
> >
> > open a new terminal and see if the problem went away.
>
> #======================================================================#
> #      And it did go away! Both Alt-D and Alt-Backspace now work!      # 
> #======================================================================#


/me pops open a bottle of Spumante and toast!

> And just think of it: I was willing (almost ready) to reinstall my Devuan
> because of this trivial glitch, kind of... Phew!


It's trivial *after* you learned what the issue was, but it can drive you
crazy for weeks before that! Especially when the issue concerns some of
those arcane, scantly documented old-time Unix config files and settings very
few people think of when something misbehaves under X.
I am not sure this setting, that is, everything you put in your
~/.Xresources file, is read automatically at every X session, though I
believe it probably is: it depends by your Desktop Manager. In my Devuan
system I find it configures in /etc/X11/Xsession, where I can find:

#!/bin/sh
#
# /etc/X11/Xsession
#
# global Xsession file -- used by display managers and xinit (startx)

[...]

USRRESOURCES=$HOME/.Xresources

and then in /etc/X11/Xsession.d/30x11-common_xresources:

# $Id: 30x11-common_xresources 305 2005-07-03 18:51:43Z dnusinow $

# This file is sourced by Xsession(5), not executed.

[...]

if has_option allow-user-resources && [ -f "$USRRESOURCES" ]; then
  if type xrdb >/dev/null 2>&1; then
    xrdb -merge $USRRESOURCES
  else


[...]

> But that's what the developers are here for us users/hopeful testers...


Surely!

By the way, people: as I was perusing among the files in /etc/X11
documenting this email of mine, I updated this file:

--- /etc/X11/wdm/Xresources     2017-05-26 14:12:25.104413649 +0200
+++ /etc/X11/wdm/Xresources.orig        2017-05-26 14:22:20.487768651 +0200
@@ -8,8 +8,7 @@
        Ctrl<Key>Return: set-session-argument(failsafe) finish-field()\n\
        <Key>Return: set-session-argument() finish-field()
 xlogin*borderWidth: 3
-!xlogin*greeting: Debian GNU/Linux (CLIENTHOST)
-xlogin*greeting: Devuan GNU/Linux (CLIENTHOST)
+xlogin*greeting: Debian GNU/Linux (CLIENTHOST)
 xlogin*namePrompt: login:
 xlogin*fail: Login incorrect
 #ifdef COLOR


And then I figured out where WDM get's its Debian login screen logo:

[root@devuan02 ~]# grep -B1 -A2 Debian /etc/X11/wdm/wdm-config.orig
! DisplayManager*wdmLogo:       /usr/share/pixmaps/gnuLogo.xpm
DisplayManager*wdmLogo:         /usr/share/pixmaps/wdmDebianSwirl.xpm
! DisplayManager*wdmReboot:       /sbin/reboot
! DisplayManager*wdmHalt:         /sbin/halt
[root@devuan02 ~]#


But I cound not find a Devuan logo in /usr/share/pixmaps/ ! :-(
I then run:

convert /usr/share/reportbug/devuan-emblem.svg -resize
200x130 /usr/share/pixmaps/wdmdevuan-emblem.xpm

and updated /etc/X11/wdm/wdm-config like this:

--- /etc/X11/wdm/wdm-config     2017-05-26 14:31:33.751122119 +0200
+++ /etc/X11/wdm/wdm-config.orig        2017-05-26 14:21:29.457766794 +0200
@@ -32,7 +32,7 @@
 DisplayManager*wdmLogin:        /usr/bin/wdmLogin
 DisplayManager*wdmBg:           solid:Gray85
 ! DisplayManager*wdmLogo:       /usr/share/pixmaps/gnuLogo.xpm
-DisplayManager*wdmLogo:                /usr/share/pixmaps/wdmdevuan-emblem.xpm
+DisplayManager*wdmLogo:                /usr/share/pixmaps/wdmDebianSwirl.xpm
 ! DisplayManager*wdmReboot:       /sbin/reboot
 ! DisplayManager*wdmHalt:         /sbin/halt
 DisplayManager*wdmReboot:       /usr/bin/sudo /sbin/shutdown -r now


Of course, I'd loove to see this as the default WDM settings in Devuan! :-)


> But
> we wouldn't even have Devuan if it weren't for bright people like you devs!



I agree, my kudos to Devuans' devs and admins!

E un bicchiere di rosso a te, caro vicino di casa! :-)


--
Alessandro Selli http://alessandro.route-add.net
VOIP SIP: dhatarattha@???
Chiavi PGP/GPG keys: B7FD89FD, 4A904FD9