Perguntas com a marcação «file»

122
makefile executa outro alvo

Eu tenho um makefile estruturado mais ou menos assim: all : compile executable clean : rm -f *.o $(EXEC) Percebi que estava executando consistentemente "make clean" seguido de "clear" no meu terminal antes de executar "make all". Gosto de ter um terminal limpo antes de tentar vasculhar os...

122
Como forçar o download de arquivos com PHP

Quero exigir que um arquivo seja baixado quando o usuário visitar uma página da web com PHP. Eu acho que tem algo a ver com file_get_contents, mas não sei como executá-lo. $url = "http://example.com/go.exe"; Depois de baixar um arquivo, header(location)ele não está redirecionando para outra...

120
Comandos bash multilinha em makefile

Tenho uma maneira muito confortável de compilar meu projeto por meio de algumas linhas de comandos bash. Mas agora preciso compilá-lo via makefile. Considerando que cada comando é executado em seu próprio shell, minha dúvida é qual a melhor maneira de executar um comando bash multi-linha,...

120
Como extrair o arquivo filename.tar.gz

Eu quero extrair um arquivo chamado filename.tar.gz. Usar tar -xzvf filename.tar.gznão extrai o arquivo. é dá este erro: gzip: stdin: not in gzip format tar: Child returned status 1 tar: Error exit delayed from previous

118
Suprimir a saída da linha de comando

Eu tenho um arquivo em lote simples como este: eco desligado taskkill / im "test.exe" / f> nul pausa Se "test.exe" não estiver em execução, recebo esta mensagem: ERRO: O processo "test.exe" não foi encontrado. Por que essa mensagem de erro é exibida, embora eu tenha redirecionado a saída...

118
Anexar carimbo de data / hora a um nome de arquivo

Já me deparei com esse problema várias vezes, no qual gostaria de ter várias versões do mesmo arquivo no mesmo diretório. A maneira como tenho feito isso usando C # é adicionando um carimbo de data / hora ao nome do arquivo com algo assim DateTime.Now.ToString().Replace('/', '-').Replace(':', '.')....