Linux

Rust unter Linux installieren

Install Rust in Linux Terminal

Einführung Rust ist eine sehr junge Sprache auf dem Gebiet der Systemprogrammierung. Die erste stabile Version erschien im Jahre 2015, angekündigt wurde sie aber bereits 2010. Sie vereint unterschiedliche Programmierparadigmen, nämlich aus der funktionalen, der objektorientierten und der nebenläufigen Programmierung. Dies führt dazu, dass Programmierer anderer Programmiersprachen schnell vertraute Elemente finden werden, zugleich aber auch von jenen Paradigmen, die sie … Weiterlesen …

Fedora – Software im Terminal aktualisieren

Paketmanager YUM im Terminal verwenden

In Fedora können Software-Updates über das Programm „Software“ vorgenommen werden. Gleich nach dem Start dieser Anwendungen werden zur Installation bereitstehende Updates in der Menüleiste angezeigt. Wie funktioniert aber eine Softwareaktualisierung im Terminal? Dafür steht der Befehl yum zur Verfügung (Yellow Updater, Modified), dem ein sudo vorangestellt werden muss, damit die Aktualisierung funktioniert: Nach dem Ausführen dieser Anweisung wird nach Updates … Weiterlesen …

Dokumente mit Markdown erstellen

In meiner täglichen Arbeit erstelle ich meistens Markdown-Dokumente, die dann ggf. in HTML, LaTeX, PDF oder ePub umgewandelt werden. Dafür verwende ich entweder die Exportfunktion des jeweiligen Editors (soweit vorhanden) oder das kostenlose Programm Pandoc (Code bei Github). Für das Schreiben verwende ich in der Regel den Editor Sublime Text. Zusätzlich ist auf meinem System das SublimeText-Paket MarkdownEditing installiert. Damit … Weiterlesen …

Erscheinungsbild von Fedora ändern

Linux Fedora Desktop

In diesem Tutorial erkläre ich, wie das Erscheinungsbild (Icons, Theme, Cursor) von Fedora (>= 34) angepasst werden kann. Zunächst müssen folgende Voraussetzungen erfüllt werden: Gnome Extensions installieren Die Gnome Extensions werden als Browser-Erweiterung zum System hinzugefügt. Da unter Fedora standardmäßig der Firefox-Browser installiert ist, wird in diesem Tutorial erklärt, wie die Erweiterung für Firefox hinzugefügt wird. Öffnet zunächst die offizielle … Weiterlesen …