Imported scripts, configuration files and examples from a private repository

scripts/boinc-static-frequency-for-niced-loads.sh

@@ -0,0 +1,16 @@
+#!/bin/sh
+
+# sources:
+# - https://wiki.archlinux.org/?title=BOINC#Laptop_overheating_and_battery_duration_reduction
+
+if ( ! cpupower frequency-info --governors | grep --quiet ondemand )
+then
+	echo "ERROR: no ondemand governor available. Aborting."
+fi
+
+sudo gpasswd -a boinc video
+xhost si:localuser:boinc
+
+sudo cpupower frequency-set --governor ondemand
+echo 1 | sudo tee /sys/devices/system/cpu/cpufreq/ondemand/ignore_nice_load
+sudo systemctl start boinc-client.service

scripts/git/change-the-default-branch-from-master-to-main.sh

@@ -0,0 +1,19 @@
+#!/bin/sh
+
+# sources:
+# - https://stevenmortimer.com/5-steps-to-change-github-default-branch-from-master-to-main/
+
+# create main branch locally, taking the history from master
+git branch --move master main
+
+# push the new local main branch to the remote repo (GitHub) 
+git push --set-upstream origin main
+
+# switch the current HEAD to the main branch
+git symbolic-ref refs/remotes/origin/HEAD refs/remotes/origin/main
+
+# change the default branch on GitHub to main
+# https://docs.github.com/en/github/administering-a-repository/setting-the-default-branch
+
+# delete the master branch on the remote
+git push origin --delete master

scripts/vscodium.install.apt.sh

@@ -0,0 +1,7 @@
+#!/usr/bin/env sh
+
+export LC_ALL='C'
+
+wget -qO - https://gitlab.com/paulcarroty/vscodium-deb-rpm-repo/raw/master/pub.gpg | gpg --dearmor | sudo dd of=/usr/share/keyrings/vscodium-archive-keyring.gpg
+echo 'deb [signed-by=/usr/share/keyrings/vscodium-archive-keyring.gpg] https://paulcarroty.gitlab.io/vscodium-deb-rpm-repo/debs vscodium main' | sudo tee /etc/apt/sources.list.d/vscodium.list
+sudo apt update && sudo apt install codium

scripts/windows/wsl.install.ps1

@@ -0,0 +1,2 @@
+powershell Start-Process powershell -Verb runAs
+wsl --install