Unix & Linux

31
Formato de cookies ao usar o wget?

Qual é o formato Netscape de wget's cookies.txt? Preciso espelhar um site que exija login. Eu uso uma extensão do Chrome que retorna cookies nesse formato, eu os salvei cookies.txt, importei com o wgetcomando, mas sem uso, ele apenas baixa o conteúdo como se eu não estivesse logado. Agradeço...

31
Como baixar um arquivo através de um servidor SSH?

Eu tenho um servidor nos EUA (caixa B do Linux) e meu PC doméstico (caixa A do Linux) e preciso fazer o download de um arquivo do site C, O problema é que é muito lento o download de um arquivo diretamente de A, portanto, preciso fazer o download do arquivo ao efetuar o login B e sftpobter o...

31
Por que o tempo real pode ser menor que o tempo do usuário

Eu tenho um script para converter arquivos de vídeo e o executo no servidor com dados de teste e meço seu tempo time. Em resultado, vi: real 2m48.326s user 6m57.498s sys 0m3.120s Por que o tempo real é muito menor que o tempo do usuário? Isso tem alguma conexão com multithreading? Ou o que...

31
Esquemas de cores bons para os olhos

Existem diretrizes comuns sobre como escolher um esquema de cores (por exemplo, cor de primeiro plano / plano de fundo) para terminais emacsetc. para minimizar o cansaço dos olhos? Em caso afirmativo, existem evidências científicas para tal diretriz? Em particular, existem esquemas de cores fáceis...

31
O diff apresenta dois arquivos diferentes, embora sejam iguais!

Eu tenho dois arquivos que parecem idênticos para mim (incluindo espaços em branco à direita e novas linhas), mas o diff ainda diz que são diferentes. Mesmo quando faço uma diff -ycomparação lado a lado, as linhas são exatamente iguais. A saída do diff são os 2 arquivos inteiros. Alguma idéia do...

31
Como rolar a tela usando o clique do meio?

No Windows, a maioria dos programas com contêineres de texto grandes e roláveis ​​(por exemplo, todos os navegadores, a maioria dos processadores de texto e IDEs) permite pressionar o botão do meio do mouse e mover o mouse para rolar. Essa rolagem é suave e permite rolar muito rapidamente usando...

31
Quando um processo foi iniciado

Para saber quando um processo foi iniciado, meu primeiro palpite foi verificar a hora em que /proc/<pid>/cmdlinefoi escrito / modificado da última vez. pstambém mostra um STARTcampo. Eu pensei que ambas as fontes seriam as mesmas. Às vezes eles não são os mesmos. Como poderia...

31
Qual é o equivalente a && ao escrever um script bash?

Peço desculpas antecipadamente se for uma pergunta duplicada. Fiz um esforço para pesquisar / verificar antes de perguntar aqui. Estou confortável em escrever one-liners como este: foocommand && foocommand2 && foocommand3 A ideia é que eu só quero que os comandos subseqüentes...

31
Exclua os arquivos no diretório sem errar se já estiver vazio

Como parte de um script de implantação, desejo despejar algumas coisas em cache do meu diretório temporário. Eu uso um comando como: rm /tmp/our_cache/* No entanto, se /tmp/our_cacheestiver vazio (bastante comum ao enviar muitas alterações em rápida sucessão ao nosso servidor de teste), isso...

31
Como os sinais funcionam internamente?

Em geral, para matar processos que geram sinais como SIGKILL, SIGTSTPetc. Mas como é sabido quem ordenou esse sinal específico, quem o enviou a um processo específico e, em geral, como os sinais executam suas operações? Como os sinais funcionam