<?xml version="1.0" encoding="utf-8" standalone="yes"?><rss version="2.0" xmlns:atom="http://www.w3.org/2005/Atom"><channel><title>vscodium on Notities</title><link>https://www.vandenboom.icu/en/tags/vscodium/</link><description>Recent content in vscodium on Notities</description><generator>Hugo -- gohugo.io</generator><language>en</language><lastBuildDate>Sun, 03 Apr 2022 19:55:44 +0000</lastBuildDate><atom:link href="https://www.vandenboom.icu/en/tags/vscodium/index.xml" rel="self" type="application/rss+xml"/><item><title>Set the Python interpreter version for the extension: Code Runner in VSCodium</title><link>https://www.vandenboom.icu/en/blog/2022-stel-de-versie-van-de-python-interpreter-in-voor-de-extensie-code-runner-in-vscodium/</link><pubDate>Sun, 03 Apr 2022 19:55:44 +0000</pubDate><guid>https://www.vandenboom.icu/en/blog/2022-stel-de-versie-van-de-python-interpreter-in-voor-de-extensie-code-runner-in-vscodium/</guid><description># File name: version_used.py # This prints the version of Python being used by the Code Runner extension in VSCodium # Set by going to: File -&amp;gt; Preferences -&amp;gt; Settings -&amp;gt; Search Settings -&amp;gt; code-runner.executorMap -&amp;gt; Edit in settings.json # &amp;#34;python&amp;#34;: &amp;#34;/bin/python3.9 -u&amp;#34;, # To run this script press the little play button on the top right in the editor import sys print(sys.version)</description></item><item><title>Install the editor VSCodium on Ubuntu Linux</title><link>https://www.vandenboom.icu/en/blog/2022-installeer-de-editor-vscodium-op-ubuntu-linux/</link><pubDate>Sun, 03 Apr 2022 14:22:24 +0000</pubDate><guid>https://www.vandenboom.icu/en/blog/2022-installeer-de-editor-vscodium-op-ubuntu-linux/</guid><description>$ wget -qO - https://gitlab.com/paulcarroty/vscodium-deb-rpm-repo/raw/master/pub.gpg | sudo apt-key add -
$ sudo echo &amp;lsquo;deb https://vscodium.c7.ee/debs/ vscodium main&amp;rsquo; | sudo tee &amp;ndash;append /etc/apt/sources.list.d/vscodium.list
$ sudo apt update
$ sudo apt install codium</description></item></channel></rss>