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 be9400bf264..533c4e9be8d 100644 --- a/etc/PROBLEMS +++ b/etc/PROBLEMS @@ -1655,7 +1655,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: |