Über offizielle Paketquellen¶

Ab Ubuntu 18.04 kann TIPP10 auch über die offiziellen Paketquellen installiert werden.

• tipp10 (universe)

Befehl zum Installieren der Pakete:

sudo apt-get install tipp10 

Oder mit apturl installieren, Link: apt://tipp10

Manuell mittels DEB-Paket¶

Zur Installation kann man auf ein fertiges Fremdpaket mit der Endung .deb zurückgreifen. Den passenden Download findet man unter dem Link "TIPP10 für (K)Ubuntu". Nach dem Herunterladen installiert man das Paket tipp10_debian_v2-1-0.deb 🇩🇪 ⮷ wie gewohnt ^[1]. Bei Ubuntu-Varianten mit einem Anwendungsmenü wird der Eintrag "Bildung → TIPP10" erstellt, über den man das Programm starten kann.

Wer das 32-Bit-Paket unter einem 64-Bit-System nutzen möchte, benötigt noch folgende Pakete ^[2]:

• libxcursor1:i386

• libsm6:i386

• libxrandr2:i386

• libxi6:i386

• libxinerama1:i386

• libfreetype6:i386

• libfontconfig1:i386

• libglib2.0-0:i386

• libstdc++6:i386

Befehl zum Installieren der Pakete:

sudo apt-get install  libxcursor1:i386  libsm6:i386  libxrandr2:i386  libxi6:i386   libxinerama1:i386  libfreetype6:i386  libfontconfig1:i386  libglib2.0-0:i386  libstdc++6:i386 

Oder mit apturl installieren, Link: libxcursor1:i386, libsm6:i386, libxrandr2:i386, libxi6:i386 , libxinerama1:i386, libfreetype6:i386, libfontconfig1:i386, libglib2.0-0:i386, libstdc++6:i386

Manuell¶

Die Installation kann alternativ als Binärarchiv bzw. über den Download der "ausführbaren Version" für Linux erfolgen: tipp10_linux_v2-1-0.tar.gz 🇩🇪 ⮷. Die heruntergeladene Archivdatei muss nun noch entpackt ^[3] werden. Das Archiv enthält eine Datei namens tipp10. Dies ist bereits die fertig ausführbare Programmdatei. Damit das Programm ausgeführt werden kann, müssen bei einem 64-Bit-System die oben erwähnten Pakete nachinstalliert werden.

Der Ordnung halber kann man den Programmordner nach /opt verschieben und eine Verknüpfung in /usr/local/bin/ ^[4] anlegen. Durch die folgenden Befehle wird TIPP10 dort entpackt und ein Symlink erzeugt:

sudo tar -xzf tipp10_linux_v2-1-0.tar.gz -C /opt/ 

Beim nächsten Befehl bitte das Verzeichnis '/opt/tipp10.../tipp10' vorher auf Vorhandensein prüfen!

sudo ln -s /opt/tipp10/tipp10 /usr/local/bin/ 

Das Programm kann nun wie gewohnt aus dem Terminal über folgenden Befehl gestartet werden:

tipp10 

Bei der manuellen Installation von TIPP10 wird kein Starteintrag erstellt. Dieser und ein passendes Symbol liegt jedoch dem Programmpaket seit Version 2.1.0 bei. Dazu kopiert man die Datei tipp10.desktop aus dem Programmordner mit Root-Rechten in den Ordner /usr/share/applications/. Sollte das Symbol nicht gefunden werden, muss gegebenenfalls der Icon-Pfad in der Datei tipp10.desktop angepasst werden:

[Desktop Entry]
Encoding=UTF-8
Name=TIPP10
Comment=Touch Typing Tutor
Comment[de]=10-Finger-Schreibtrainer
Exec=tipp10
Icon=/opt/tipp10/tipp10.png
Terminal=false
Type=Application
Categories=Education;

Nach dem Speichern der Datei lässt sich TIPP10 über

• "Bildung → TIPP10"

aus dem Menü heraus starten.