Estou em um tablet pc (Lenovo X60), então meu teclado não está disponível na maior parte do tempo e estou experimentando o Linux Mint em vez do Windows.
A principal coisa que estou perdendo é minha AutoHotKey: (
Eu preciso descobrir como dar a um nome de arquivo um timecode de ano-mês-dia-hora-minuto-segundo para que fique assim: 20111117191833 (por questões de legibilidade, 2011/11/17 19:18:33 )
Mas no Linux não sei como fazer isso?
E eu estou ciente do IronAHK, mas ainda nem consegui usar o comando Enviar corretamente: (
O comando linux date inclui alguns comandos de formatação muito poderosos, vale a pena conferir a man page para ver o que é possível em seu sistema. Também vale a pena notar que você pode capturar o stdout do processo de data usando backticks.
Por exemplo, para criar um novo arquivo vazio com o registro de data e hora atual que você pode usar:
touch 'date +%Y%m%d%H%M%S'