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 | |||
| 1624 | the 'xmodmap' utility to show all the keys which produce a Meta | 1624 | the 'xmodmap' utility to show all the keys which produce a Meta |
| 1625 | modifier: | 1625 | modifier: |
| 1626 | 1626 | ||
| 1627 | xmodmap -pk | egrep -i "meta|alt" | 1627 | xmodmap -pk | grep -Ei "meta|alt" |
| 1628 | 1628 | ||
| 1629 | A more convenient way of finding out which keys produce a Meta modifier | 1629 | A more convenient way of finding out which keys produce a Meta modifier |
| 1630 | is to use the 'xkbprint' utility, if it's available on your system: | 1630 | is to use the 'xkbprint' utility, if it's available on your system: |