“Alterar versão PHP Devilbox” Respostas de código

Alterar versão PHP Devilbox

function switch_php
    set input_file ~/devilbox/.env
    if grep 'PHP_SERVER='$argv $input_file
        sed -i 's/^PHP_SERVER/#PHP_SERVER/' $input_file
        sed -i 's/^#PHP_SERVER='$argv'/PHP_SERVER='$argv'/' $input_file
        grep '^PHP_SERVER*' $input_file
    else
        echo "There is no container for PHP " $argv
    end
end
Unsightly Unicorn

Alterar versão PHP Função de peixe de diabo

# switch_php.fish
function switch_php
    set input_file ~/devilbox/.env
    if grep 'PHP_SERVER='$argv $input_file
        sed -i 's/^PHP_SERVER/#PHP_SERVER/' $input_file
        sed -i 's/^#PHP_SERVER='$argv'/PHP_SERVER='$argv'/' $input_file
        grep '^PHP_SERVER*' $input_file
    else
        echo "There is no container for PHP " $argv
    end
end
DJ Ultimate Disco Party

Respostas semelhantes a “Alterar versão PHP Devilbox”

Perguntas semelhantes a “Alterar versão PHP Devilbox”

Procure respostas de código populares por idioma

Procurar outros idiomas de código