Reputation
230
Top tag
Next privilege 250 Rep.
View close votes
Badges
3 7
Newest
 Nice Answer
Impact
~4k people reached

  • 0 posts edited
  • 0 helpful flags
  • 0 votes cast
Aug
14
awarded  Nice Answer
Apr
1
awarded  Notable Question
Jan
10
awarded  Yearling
Jun
17
awarded  Popular Question
Apr
29
awarded  Necromancer
Dec
6
awarded  Self-Learner
Sep
5
awarded  Student
Apr
30
revised bash home/end/delete key inserting tilde, or if preceded by escape key, [1~ [3~
fixup copy/cp, add bind -q, bind -p tip
Apr
30
awarded  Teacher
Apr
30
awarded  Scholar
Apr
30
accepted bash home/end/delete key inserting tilde, or if preceded by escape key, [1~ [3~
Apr
30
answered bash home/end/delete key inserting tilde, or if preceded by escape key, [1~ [3~
Feb
16
awarded  Editor
Feb
16
revised bash home/end/delete key inserting tilde, or if preceded by escape key, [1~ [3~
added 185 characters in body
Feb
16
comment bash home/end/delete key inserting tilde, or if preceded by escape key, [1~ [3~
windows, no terminal emulator, msys.bat, if I knew how to report the setting, I wouldn't be asking how to set them
Feb
16
asked bash home/end/delete key inserting tilde, or if preceded by escape key, [1~ [3~