Как заставить мои медиа-ключи работать снова?
Это означает, что time, который вы используете, является оболочкой bash, встроенной в time, единственной опцией которой является -p, и вы даже не можете использовать -V, вместо этого используйте фактическую команду с указанием ее полного пути:
/usr/bin/time -v ./a.out
man-страница для указанной выше команды, если вы сделаете which time, увидите /usr/bin/time. Для встроенного bash time вы можете help time.
Дальнейшее чтение:
Где я могу найти расположение папок для установленных программ? Как я могу получить помощь в командах терминала?1
задан mrt181
9 February 2012 в 22:58
поделиться
1 ответ
Проблема была решена после последнего обновления ядра.
$ sudo showkey
также снова отображает каждую клавишу. Случай закрыт.
0
ответ дан mrt181
25 May 2018 в 14:26
поделиться
-
1примите свой собственный ответ, когда сможете. :) (вам нужно подождать 2 дня, я думаю ..) – Alvar 16 February 2012 в 22:56