Antecedentes
Ouvi dizer que o módulo readline está lendo ~/.inputrc e é assim ele altera o comportamento de pressionamentos de teclas em programas como o bash.
Pergunta
Como posso recarregar isso após a edição para ver o comporta...
Eu tenho um .bash_profile no meu diretório inicial, mas ele não está sendo executado no login. Se eu fizer o seguinte, as coisas parecem ser como eu esperava:
ssh myhost
bash
source ~/.bash_profile
Mas normalmente isso acontece no logi...
Eu quero tocar música no terminal com sox .
# install sox/lame
sudo apt-get install sox
sudo apt-get install lame
# play music
play music.mp3
# play FAIL formats: no handler for file extension 'mp3'
# mp3 -> wav
lame --decode music.mp3...
Eu tenho 100 arquivos: cvd1.txt , cvd2.txt ... cvd100.txt
Como gzip 100 arquivos em um arquivo .gz , para que, depois de gunzip , eu tenha cvd1.txt , cvd2.txt ... cvd100.txt separadamente?
Estamos fazendo todo o nosso script com o Bash até agora, mas estou começando a me sentir um pouco bobo sobre isso. Embora possamos fazer tudo o que queremos com o Bash (é bem poderoso), estou começando a me perguntar se não devemos usar uma lin...
Se eu grep -nr sumthin * no meu diretório de código-fonte, ele também envia linhas muito longas a partir de arquivos CSS ou JavaScript minificados. Eu quero apenas os primeiros 80 caracteres por linha.
Por exemplo, um grep normal me dá...
Eu tenho um diretório como este:
$ ls -l
total 899166
drwxr-xr-x 12 me scicomp 324 Jan 24 13:47 data
-rw-r--r-- 1 me scicomp 84188 Jan 24 13:47 lod-thin-1.000000-0.010000-0.030000.rda
drwxr-xr-x 2 me scicomp 808 Jan 24 13:47...