Slackbot
05/23/2023, 2:41 PMDavid Balatero
05/23/2023, 3:13 PM^W
and ^u
are
is ^W
a delete character? i forgetDavid Balatero
05/23/2023, 3:13 PMDavid Balatero
05/23/2023, 3:15 PM"^W"
even in quotesDavid Balatero
05/23/2023, 3:15 PMread
input from bash, in generalDavid Balatero
05/23/2023, 3:16 PMreadline
under the hood so you could get the nice vi/emacs bindings when editing the input
and i wonder if that would clear up any weird terminal input bugs that can arise, like when you hit the delete
key and it just inputs a ^W
style code insteadDavid Balatero
05/23/2023, 3:17 PMVincent de Lagabbe
05/23/2023, 3:24 PMVincent de Lagabbe
05/23/2023, 3:26 PMgt branch create
then amended with git commit -a
and message written in vim.
The PR was squashed and merged. I checked the "original" commit: it doesn't contain the non-printable character. However the trunk commit (created from the PR title) has it.
So the character ended up in the PR title and because it was created with a gt ss
we strongly suspect it's graphite but don't know for sureVincent de Lagabbe
05/23/2023, 3:27 PMDavid Balatero
05/23/2023, 3:33 PMThe commit messages were written in vim: for one case a branch was created withand then when they didthen amended withgt branch create
and message written in vim.git commit -a
gt ss
, did they just accept the commit's message as the PR title, as-is, without editing it?David Balatero
05/23/2023, 3:33 PMgit commit
message that was made in Vim just became the PR title, straight up?David Balatero
05/23/2023, 3:34 PMgit commit
message that produced the bad PR title into a txt
file and share it? in case there are secret hidden characters
or if git
is doing something smart and hiding them?David Balatero
05/23/2023, 3:36 PMmain
branch, so i can see that weird character?Vampire
05/23/2023, 3:39 PMDavid Balatero
05/23/2023, 3:40 PMVampire
05/23/2023, 3:40 PMnano
as editor usually?
It e.g. uses ^U
as "Paste" action. Maybe they try to past with that, then recognize they are not within nano
and use the proper paste action, already having typed the ^U
character?David Balatero
05/23/2023, 3:40 PMVincent de Lagabbe
05/23/2023, 3:53 PMgit log -1 4972cf157a326f4b77b1cbda2b3b10557442cbcf
commit 4972cf157a326f4b77b1cbda2b3b10557442cbcf
Author: XXXXXX
Date: Tue May 23 10:48:14 2023 +0200
Role names are singular
Also, change XXXXX for consistency with other existing roles.
and here is the one in the trunk (so the squashed and merged PR), showing the non-printable character in the title (first line):
git log -1 d2017b3
commit d2017b3f19476233f376b689d18c3cf28cc4fb27
Author: XXXXXXXX
Date: Tue May 23 14:46:42 2023 +0200
^UMinor adjustments to role name (#38926)
Role names are singular.
Also, change XXXXX for consistency with other existing roles.
trying to understand with the dev what could have happenedDavid Balatero
05/23/2023, 3:54 PMgt ss
actionDavid Balatero
05/23/2023, 3:55 PMVincent de Lagabbe
05/23/2023, 4:49 PMIn traditional UNIX CLIs, ^U would mean "clear current line and restart" (but that would be swallowed by the line discipline in the tty driver and would not be seen by application code). Now I don't think I actually used that keypress (I wouldn't swear, but I don't think I did), but maybe there's something fishy with some component synthesizing it when replacing the default title with something else? (Or maybe I did use it and don't remember correctly).
In any case I think the specific use case of editing the default PR title in the context of a stack submit might well be narrowing towards the root cause.Also ^W is "delete word left of cursor" Maybe those are included as characters in the readline?
Vampire
05/23/2023, 5:03 PMDavid Balatero
05/23/2023, 5:23 PM