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.
Shell-Skript mit
manual page or the source itself (it's a shell script with a lot of comments).
oder den Quellcode selbst (es ist ein Shell-Skript mit vielen Kommentaren).
For more information, see the jigdo-mirror manual page or the source itself (it's a shell script with a lot of comments).
Für weitere Informationen lesen Sie die Handbuchseite von jigdo-mirror oder den Quellcode selbst (es ist ein Shell-Skript mit vielen Kommentaren).
It is a shell script with GoodSync distribution embedded into it.
Es ist ein Shell-Skript mit eingebetteter GoodSync-Distribution.
An easy solution is a shell script with the command described above.
Eine einfache Lösung ist ein Shellskript mit dem oben beschriebenen Befehl.
Writing a shell script with these lines in the root of Moodle installation is a very good idea.
Sie können diese Befehle in einem Shell-Skript im Wurzelverzeichnis der Moodle-Installation hinterlegen.
Avoid writing a shell script with bashisms or zshisms to make it portable among all POSIX shells.
Vermeiden Sie, in Shellskripten Bashisms oder Zshisms (speziell für Bash oder Zsh angepasste Shell-Befehle) zu verwenden, damit sie auf alle POSIX-Shells portierbar sind.
A Makefile is much like a shell script with additional directions, which qualify make to focus on the required lines.
Ein Makefile entspricht einem Shellscript mit Regieanweisungen, die make dazu befähigen, nur die gerade erforderlichen Zeilen auszuführen.
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.