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.
36 lines
1.1 KiB
36 lines
1.1 KiB
6 years ago
|
#!/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
|
||
|
done
|