mirror of https://github.com/01-edu/public.git
You can not select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
35 lines
1.1 KiB
35 lines
1.1 KiB
#!/bin/bash |
|
|
|
# Install VSCode |
|
|
|
SCRIPT_DIR="$(cd -P "$(dirname "$BASH_SOURCE")" && pwd)" |
|
cd $SCRIPT_DIR |
|
. set.sh |
|
|
|
wget -qO - https://gitlab.com/paulcarroty/vscodium-deb-rpm-repo/raw/master/pub.gpg | apt-key add - |
|
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 vscodium |
|
|
|
# Set-up all users |
|
for DIR in $(ls -1d /home/* 2>/dev/null || true) |
|
do |
|
# Add convenient aliases & behaviors |
|
mkdir -p $DIR/.config/VSCodium/User |
|
cat <<-'EOF'> $DIR/.config/VSCodium/User/settings.json |
|
{ |
|
"telemetry.enableCrashReporter": false, |
|
"update.enableWindowsBackgroundUpdates": false, |
|
"update.mode": "none", |
|
"update.showReleaseNotes": false, |
|
"extensions.autoCheckUpdates": false, |
|
"extensions.autoUpdate": false, |
|
"workbench.enableExperiments": false, |
|
"workbench.settings.enableNaturalLanguageSearch": false, |
|
"npm.fetchOnlinePackageInfo": false |
|
} |
|
EOF |
|
|
|
# Fix rights |
|
USR=$(echo "$DIR" | rev | cut -d/ -f1 | rev) |
|
chown -R $USR:$USR $DIR || true |
|
done
|
|
|