|
|
@ -10,6 +10,13 @@ wget -qO - https://gitlab.com/paulcarroty/vscodium-deb-rpm-repo/raw/master/pub.g |
|
|
|
echo 'deb https://gitlab.com/paulcarroty/vscodium-deb-rpm-repo/raw/repos/debs/ vscodium main' > /etc/apt/sources.list.d/vscodium.list |
|
|
|
echo 'deb https://gitlab.com/paulcarroty/vscodium-deb-rpm-repo/raw/repos/debs/ vscodium main' > /etc/apt/sources.list.d/vscodium.list |
|
|
|
apt-get update && apt-get -y install codium |
|
|
|
apt-get update && apt-get -y install codium |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
cat <<EOF> /usr/local/bin/code |
|
|
|
|
|
|
|
#!/usr/bin/env bash |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
/usr/share/codium/codium &>/dev/null & |
|
|
|
|
|
|
|
EOF |
|
|
|
|
|
|
|
chmod +x /usr/local/bin/code |
|
|
|
|
|
|
|
|
|
|
|
# Set-up all users |
|
|
|
# Set-up all users |
|
|
|
for DIR in $(ls -1d /home/* 2>/dev/null || true) |
|
|
|
for DIR in $(ls -1d /home/* 2>/dev/null || true) |
|
|
|
do |
|
|
|
do |
|
|
|