MonoDevelop: Difference between revisions
Jump to navigation
Jump to search
(Created page with "== Installation on Debian 11 Bullseye == TBD == Error when starting application: /usr/lib/gnome-terminal/gnome-terminal-server could not be found == Package [https://packag...") |
|||
| Line 1: | Line 1: | ||
== Installation on Debian 11 Bullseye == | == Installation on Debian 11 Bullseye == | ||
These commands are to be run as root! | |||
apt -y install apt-transport-https dirmngr | |||
apt-key adv --keyserver hkp://keyserver.ubuntu.com:80 --recv-keys 3FA7E0328081BFF6A14DA29AA6A19B38D3D831EF | |||
echo "deb https://download.mono-project.com/repo/debian vs-buster main" | tee /etc/apt/sources.list.d/mono-official-vs.list | |||
apt update | |||
apt -y install monodevelop | |||
About 200 MiB (depends on what you already have installed and which packages have to be upgraded) are being downloaded during installation. | |||
== Error when starting application: /usr/lib/gnome-terminal/gnome-terminal-server could not be found == | == Error when starting application: /usr/lib/gnome-terminal/gnome-terminal-server could not be found == | ||
Latest revision as of 19:19, 21 July 2022
Installation on Debian 11 Bullseye
These commands are to be run as root!
apt -y install apt-transport-https dirmngr apt-key adv --keyserver hkp://keyserver.ubuntu.com:80 --recv-keys 3FA7E0328081BFF6A14DA29AA6A19B38D3D831EF echo "deb https://download.mono-project.com/repo/debian vs-buster main" | tee /etc/apt/sources.list.d/mono-official-vs.list apt update apt -y install monodevelop
About 200 MiB (depends on what you already have installed and which packages have to be upgraded) are being downloaded during installation.
Error when starting application: /usr/lib/gnome-terminal/gnome-terminal-server could not be found
Package gnome-terminal must be installed.
mkdir /usr/lib/gnome-terminal cd /usr/lib/gnome-terminal ln -s /usr/libexec/gnome-terminal-server