Perguntas sobre 'shell'

1
resposta

Modificando o resultado da pesquisa do grep

Normalmente, podemos pesquisar um keyword em uma lista de arquivos PDF usando o seguinte comando: for file in *pdf; do pdftotext "$file" - | grep keyword done Agora, no resultado da pesquisa, se eu quiser encontrar o nome do título ju...
11.09.2015 / 04:49
1
resposta

Como alterar o tamanho padrão do shell bash Fedora 20

Ok, estou cansado de pesquisar e não encontrar uma resposta definitiva. Tudo o que eu quero fazer é alterar o tamanho do shell padrão por usuário, mas para cada instância do shell eles abrem e eu quero fazer isso a partir da linha de comando com...
09.09.2015 / 19:51
1
resposta

adiciona o diretório ao perfil do shell [duplicado]

Então, sou novo no Linux / Unix e estou trabalhando em uma versão corporativa da Red Hat na minha empresa. Obviamente, eu não tenho controle total sobre o meu computador (não tenho certeza se isso é importante). Eu tenho um monte de execu...
21.08.2012 / 23:19
2
respostas

Instalando um shell (por exemplo, zsh) sem ser admistrador do sistema [duplicado]

Digamos que eu tenha permissões rwx para um diretório (meu diretório pessoal). Posso instalar um shell (por exemplo, zsh) em algum caminho no meu diretório inicial e usá-lo? Em outras palavras, posso instalar um shell ignorando o admini...
05.09.2012 / 19:57
1
resposta

Existe mais, menos ou igual overhead para elisp, como para um script bash, para chamar awk, ps, etc?

Espero que a pergunta se explique bem o suficiente. Estou me referindo ao tempo exta e recursos do sistema envolvidos para um versus o outro ... Eu costumo pensar que seria o mesmo, mas eu quero ir além de apenas pensar. Os dois fazem as mesmas...
29.11.2011 / 03:32
1
resposta

Envie um email se os arquivos especificados não existirem

Eu tenho que fazer algo como: Em uma pasta / x todos os dias 10Pm e no dia seguinte 3 AM, 2 arquivos são colocados. Eu tenho que escrever um script que irá verificar a pasta / xe confirmar se os arquivos estão lá ou não e enviar e-mails em co...
11.02.2013 / 11:52
2
respostas

Tentando definir JAVA_HOME em ~ / .bashrc [duplicado]

Eu adicionei esta linha no final de ~ / .bashrc export JAVA_HOME=/usr/java/jdk1.5.0_07/bin/java Mas quando executo echo $JAVA_HOME , não obtenho nada como saída, eu esperava "/usr/java/jdk1.5.0_07/bin/java". Alguma ideia? SO: Ub...
23.03.2012 / 16:54
1
resposta

Usando o comando Echo com o comando Sleep

Então eu fiz uma pergunta aqui algumas semanas atrás e a resposta que recebi foi útil, mas achei que adicionaria algumas informações para obter uma resposta melhor. Eu trabalho com um sistema de computador que tem 8 servidores (4 primários 4...
17.05.2014 / 07:13
3
respostas

Para script de linux de loop [fechado]

Pergunte ao usuário quantos trabalhos avaliar? Crie um loop for que faça um loop nos tempos necessários para que a pontuação de cada papel seja inserida. Peça ao usuário por cada pontuação (1-100). conta o número de loops No final do pr...
27.11.2018 / 13:40
2
respostas

SSH para um servidor remoto e encontrar o pid específico e matá-lo

Eu quero fazer login remotamente em um servidor e, em seguida, encontrar o pid da porta específica. Depois disso mate aquele pid. Eu tentei isso, ssh -T [email protected] ; "netstat -lnpt ; awk '$4 ~ /:2020$/ {sub(/\/.*/, "", $7); print...
26.11.2018 / 11:54