Мне нужна метка времени, которая вставляется с горячей клавишей, как F5 в старом блокноте. Формат должен быть:
hh:mm dd.mm.yyyy.
p.s. Точка в конце года грамматически корректна на сербском языке, таким образом, это не ошибка.
Установите пакет xdotool
через, нам нужна команда xdotool
sudo apt-get install xdotool
Создайте маленький сценарий
#!/bin/bash
sleep 0.1
xdotool type $(date +"%H:%M")' '$(date +"%d.%m.%Y.")
Если вывод не делает взглядов что-то как
17:31 15.08.2015.
использовать
#!/bin/bash
sleep 0.1
xdotool type $(date +"%H")':'$(date +"%M")' '$(date +"%d")'.'$(date +"%m")'.'$(date +"%Y")'.'
Если время не полностью вставляется после нажатия ярлыка, увеличьте параметр для sleep
, например, 0.5
, в сценарии
Сделайте это исполняемым файлом
chmod +x your_script
Присвойте сочетание клавиш для сценария, например, Super+F5 или некоторый другой ярлык, который не используется.