chiark
/
gitweb
/
~mdw
/
profile
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(from parent 1:
ce86158
)
dot/inputrc: Delete redundant setting of `enable-bracketed-paste'.
author
Mark Wooding
<mdw@distorted.org.uk>
Sat, 18 Mar 2023 16:54:44 +0000
(16:54 +0000)
committer
Mark Wooding
<mdw@distorted.org.uk>
Sat, 18 Mar 2023 16:58:08 +0000
(16:58 +0000)
This was added spuriously in
40421d0b105e6e9ce9cbdff368aab4989ac6f184
,
somehow without me noticing that it had already been switched on six
months earlier in
c626c512d4420440410e22955c23cf0ea8b0d2b1
.
dot/inputrc
patch
|
blob
|
blame
|
history
diff --git
a/dot/inputrc
b/dot/inputrc
index f3dcc25c80d50ccd10db75234be053414ade7a7c..340f88e22e91ad79a8512529b9c03b61046f7f28 100644
(file)
--- a/
dot/inputrc
+++ b/
dot/inputrc
@@
-9,7
+9,6
@@
set convert-meta off
set bell-style none
set bind-tty-special-chars off
set blink-matching-paren on
-set enable-bracketed-paste on
set colored-completion-prefix off
set colored-stats on
set enable-bracketed-paste on