Como baixar a fonte PHP do terminal com o Wget

Como baixar a fonte PHP do terminal com o Wget
Como baixar a fonte PHP do terminal com o Wget

Vídeo: Como baixar a fonte PHP do terminal com o Wget

Vídeo: Como baixar a fonte PHP do terminal com o Wget
Vídeo: Como Tornar o Chrome seu Navegador Padrão no Android - YouTube 2024, Novembro
Anonim
Baixar arquivos dos espelhos do PHP é chato, porque por padrão o redirecionador faz o nome do nome do arquivo mudar para apenas “espelho”. Então, como você corrige isso? Felizmente, o wget tem um argumento simples que você pode usar para corrigi-lo - e é útil para muitos cenários.
Baixar arquivos dos espelhos do PHP é chato, porque por padrão o redirecionador faz o nome do nome do arquivo mudar para apenas “espelho”. Então, como você corrige isso? Felizmente, o wget tem um argumento simples que você pode usar para corrigi-lo - e é útil para muitos cenários.

Sempre que você quiser forçar a saída do comando Wget em um nome de arquivo específico, basta usar o argumento -O (que é uma letra maiúscula o) ou a versão mais longa,

--output-document=FILE

isso é um monte de digitação extra sem nenhum motivo.

Então, para forçar o PHP a baixar como um nome de arquivo específico, você usaria algo assim:
Então, para forçar o PHP a baixar como um nome de arquivo específico, você usaria algo assim:

wget -O php-5.5.14.tar.gz https://us.php.net/get/php-5.5.14.tar.gz/from/this/mirror

Essa linha salvaria o arquivo de download resultante do link espelhado para o nome de arquivo php-5.5.14.tar.gz. Você mudaria o número da versão para uma versão diferente, certo? Sim, você faria, porque essa não é a versão mais recente a partir deste momento.

Recomendado:

Qual é a diferença entre uma fonte, uma fonte e uma família de fontes?

Qual é a diferença entre uma fonte, uma fonte e uma família de fontes?

Como a maioria das palavras escritas são agora produzidas de uma forma digital ou outra, fontes e tipos de letra se tornaram muito mais importantes do que costumavam ser. E para o desgosto de designers gráficos e pessoas geralmente nerds em todos os lugares, esses termos são frequentemente usados de forma intercambiável.

Como definir a fonte padrão e tamanho da fonte para novas pastas de trabalho no Excel

Como definir a fonte padrão e tamanho da fonte para novas pastas de trabalho no Excel

O Excel usa a bela fonte Calibri por padrão no Windows, mas se você quiser usar uma fonte diferente ou alterar o tamanho padrão, poderá ajustar facilmente a configuração na tela de opções do Excel.

Intel AppHub - Sua fonte para baixar aplicativos para o seu computador Windows

Intel AppHub - Sua fonte para baixar aplicativos para o seu computador Windows

O Intel AppUp center é um serviço que permite aos consumidores finais navegar em um catálogo centralizado de aplicativos para compra ou download em seu netbook, laptop ou outro dispositivo de computação pessoal.

Como instalar uma nova fonte ou desinstalar a fonte no Windows Vista

Como instalar uma nova fonte ou desinstalar a fonte no Windows Vista

Para instalar uma nova fonte no Windows Vista, você precisa abrir o Painel de Controle e selecionar o miniaplicativo Fontes. Aprenda a instalar ou desinstalar uma fonte no Windows Vista.

Configurações de fonte do Windows 10: Como baixar fontes da Microsoft Store

Configurações de fonte do Windows 10: Como baixar fontes da Microsoft Store

As configurações do Windows 10 permitem que você veja todas as fontes instaladas em um só lugar, visualize, altere o tamanho e também baixe e instale fontes da Microsoft Store. A Microsoft Store oferece aplicativos pagos e gratuitos. Aprenda a usar esse novo recurso.