Ajout de wget et valgrind 🥰
This commit is contained in:
parent
2516e4494d
commit
dcde4fa501
2 changed files with 4 additions and 3 deletions
|
@ -6,12 +6,13 @@ then
|
||||||
|
|
||||||
which git &> /dev/null || sudo apt install git -y # install git if not already installed
|
which git &> /dev/null || sudo apt install git -y # install git if not already installed
|
||||||
which curl &> /dev/null || sudo apt install apt-transport-https curl -y # install curl (along with apt-transport-https) if not already installed
|
which curl &> /dev/null || sudo apt install apt-transport-https curl -y # install curl (along with apt-transport-https) if not already installed
|
||||||
|
which wget &> /dev/null || sudo apt install apt-transport-https curl -y # install wget if not already installed
|
||||||
|
|
||||||
# == Upgrade and clean already installed packages ==
|
# == Upgrade and clean already installed packages ==
|
||||||
sudo apt full-upgrade -y
|
sudo apt full-upgrade -y
|
||||||
|
|
||||||
# == Basic dev ==
|
# == Basic dev ==
|
||||||
sudo apt install build-essential -y
|
sudo apt install build-essential valgrind -y
|
||||||
|
|
||||||
# == Fish ==
|
# == Fish ==
|
||||||
sudo apt-add-repository ppa:fish-shell/release-3 -y
|
sudo apt-add-repository ppa:fish-shell/release-3 -y
|
||||||
|
|
4
wsl.sh
4
wsl.sh
|
@ -6,13 +6,13 @@ then
|
||||||
|
|
||||||
which git &> /dev/null || sudo apt install git -y # install git if not already installed
|
which git &> /dev/null || sudo apt install git -y # install git if not already installed
|
||||||
which curl &> /dev/null || sudo apt install apt-transport-https curl -y # install curl (along with apt-transport-https) if not already installed
|
which curl &> /dev/null || sudo apt install apt-transport-https curl -y # install curl (along with apt-transport-https) if not already installed
|
||||||
which wget &> /dev/null || sudo apt install apt-transport-https curl -y # install curl (along with apt-transport-https) if not already installed
|
which wget &> /dev/null || sudo apt install apt-transport-https curl -y # install wget if not already installed
|
||||||
|
|
||||||
# == Upgrade and clean already installed packages ==
|
# == Upgrade and clean already installed packages ==
|
||||||
sudo apt full-upgrade -y
|
sudo apt full-upgrade -y
|
||||||
|
|
||||||
# == Basic dev ==
|
# == Basic dev ==
|
||||||
sudo apt install build-essential wget -y
|
sudo apt install build-essential valgrind -y
|
||||||
|
|
||||||
# == Fish ==
|
# == Fish ==
|
||||||
sudo apt-add-repository ppa:fish-shell/release-3 -y
|
sudo apt-add-repository ppa:fish-shell/release-3 -y
|
||||||
|
|
Loading…
Reference in a new issue