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

Source: gist.github.com

Change php version devilbox

# switch_php.fishfunction 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

1 vote102 views1 answer
Install brave browser on linux
Shell/Bash
0 vote111 views1 answer
If the {string} part is omitted, it is considered as an empty string, and the matched pattern is deleted. The following command deletes all instances of the string ‘foo’ in the current line
Shell/Bash
1 vote105 views1 answer
Unable to create directory wp-content/uploads/. Is its parent directory writable by the server?
Shell/Bash
87 votes104 views6 answers
Kill port 3000
Shell/Bash
185 votes281 views6 answers
Creating new branch in git
Shell/Bash
0 vote107 views1 answer
How to run orange3 on linux
Shell/Bash
0 vote71 views1 answer
Npm install styled components in gatsby
Shell/Bash
0 vote106 views1 answer
Docker wordpress plugins permissions
Shell/Bash
0 vote102 views1 answer
Centos format new drive and mount for backup
Shell/Bash
0 vote104 views1 answer
Cloning into 'parallelComputing'... remote: Repository not found. fatal: repository 'https://github.com/phillipmoyo/parallelComputing.git/' not found
Shell/Bash