Descompactando arquivos pelo terminal Apr 23, 2016 | zip, compactar, descompactar Veremos a seguir uma descrição de diversos compactadores de arquivos. Extensões dos arquivos .gz - Compactado pelo gzip. Programa gzip para descompactar .bz2 - Compactado pelo bzip2. Programa bzip2 para...
Download com Wget Feb 21, 2016 | download, wget O wget é um utilitário usado para fazer download de arquivos. Se você digitar wget -h você verá todas as opções disponíveis. Vou destacar apenas alguns. Download simples Vamos baixar...
Time Feb 20, 2016 | time Como o nome já diz, o comando time serve para medir o tempo de execução de algum processamento. time comando Experimente time sudo apt-get update O meu demorou real 0m25.322s...
Renomeando Comandos Feb 19, 2016 | terminal, alias Para renomear um comando precisamos editar o arquivo ~/.bashrc. Isso para usuários do Linux. Renomear um comando significa alterar a função original de determinado comando. Deletando com confirmação Este exemplo...
Alterando o Prompt do Terminal Jan 8, 2016 | terminal Vejamos aqui como alterar o prompt do terminal. O mínimo PS1="$ " Username: O nome do usuário PS1="\u$ " Hostname: O nome da máquina PS1="\h$ " Full Path: O caminho...
