diff options
Diffstat (limited to 'etc/PROBLEMS')
| -rw-r--r-- | etc/PROBLEMS | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/etc/PROBLEMS b/etc/PROBLEMS index 4288808f407..49dada970bb 100644 --- a/etc/PROBLEMS +++ b/etc/PROBLEMS @@ -1624,7 +1624,7 @@ which combination produces "M-x" in the echo area. You can also use the 'xmodmap' utility to show all the keys which produce a Meta modifier: - xmodmap -pk | egrep -i "meta|alt" + xmodmap -pk | grep -Ei "meta|alt" A more convenient way of finding out which keys produce a Meta modifier is to use the 'xkbprint' utility, if it's available on your system: |