/Shell/Bash/Change php version devilbox fish

Change php version devilbox 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

Source: gist.github.com

Similar codes

7 votes155 views1 answer
Git reset head to remote
Shell/Bash
0 vote166 views3 answers
Install
Shell/Bash
1 vote159 views1 answer
Como fazer commit github
Shell/Bash
0 vote179 views1 answer
Como crear icono de aplicacion en linux
Shell/Bash
0 vote131 views1 answer
Get logstash version
Shell/Bash
0 vote147 views1 answer
Install bedrock minecraft on linux
Shell/Bash
0 vote144 views1 answer
How to install googlemaps for aws sam local
Shell/Bash
0 vote166 views1 answer
Git blame get users most edited file
Shell/Bash
0 vote276 views2 answers
Git : The term 'git' is not recognized as the name of a cmdlet, function, script file, or operable program. Check the spelling of the name, or if a path was included, verify that the path is correct and try again. At line:1 char:1
Shell/Bash
1 vote140 views1 answer
Check compatible ubuntu nvidia driver 18.04
Shell/Bash