| 12345678910111213141516171819 |
- #!/bin/bash
- if (( $EUID != 0 )); then
- echo "Eseguire lo script come amministratore"
- exit
- fi
- # scarico chiave GPG la installo
- wget -qO - https://gitlab.com/paulcarroty/vscodium-deb-rpm-repo/raw/master/pub.gpg | gpg --dearmor | sudo dd of=/etc/apt/trusted.gpg.d/vscodium.gpg
- # aggiungo il repository
- echo 'deb https://paulcarroty.gitlab.io/vscodium-deb-rpm-repo/debs/ vscodium main' | sudo tee --append /etc/apt/sources.list.d/vscodium.list
- # aggiorno apt
- apt-get update
- # installo vscodium
- apt-get install codium
|
