Vertaling van "operating system is linux" in Duits
We konden deze vermelding niet vinden. Er worden benaderende resultaten weergegeven. Controleer je spelling of stel voor deze term aan het woordenboek toe te voegen.
Betriebssystem ist Linux
The recommended operating system is Linux - but it is not required.
The operating system is Linux Debian, with a super-efficient kernel (tickless!).
Das Betriebssystem ist Linux Debian, mit einem ultra-leistungsstarken Kernel (im Ticklessmodus!).
You will get an overview at "gwdu60.gwdg.de" (operating system is FreeBSD a flavour of UNIX) or "gwdu19.gwdg.de" (operating system is Linux) calling xlsfonts at command prompt. This program lists more over 5000 available fonts incl. Cyrillic etc.
Mit der Eingabe von xlsfonts in der Kommandozeile von z.B. „gwdu60.gwdg.de" (FreeBSD) oder „gwdu19.gwdg.de" (Linux) erhält man eine Ausgabe aller verfügbaren Schriften (inkl. Cyrillic etc.) (>5000).
The standard operating system is Linux (CentOS) in combination with BlueOnyx web management.
My operating system is Linux, currently I have installed openSUSE Linux, Version 13.2, kernel version 3.16.7.
Mein Betriebssystem ist Linux, zur Zeit habe ich openSUSE Linux, Version 13.2, kernel version 3.16.7, installiert.
In rooms D114-D121 the default operating system is Linux Ubuntu 18.04 LTS, in rooms D010-D018, D022 the default operating system is Windows 7/10. Linux Software Name
Im Erdgeschoss (D114-D121) ist Linux Ubuntu 18.04 LTS voreingestellt, im Keller (D010-D018, D022) Windows 7/10; dieses startet nach einem Timeout von 30 sec automatisch.
Potentieel gevoelige of ongepaste informatie
Er worden alleen voorbeelden gegeven om u te helpen het woord of de woordcombinatie waarop u hebt gezocht, te vertalen. Deze worden niet door ons geselecteerd of gevalideerd en kunnen ongepaste taal bevatten. Wij vragen u melding te maken van voorbeelden die dienen te worden aangepast of verwijderd. Vertalingen met grof of informeel taalgebruik worden meestal rood of oranje gemarkeerd.