Examples with "script proprement dit" and their translation in Engels
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.
script - sont les fichiers qui contiennent le programme proprement dit.
script - are the files which contains the actual program
Pour le choix proprement dit du MPM désiré, utiliser l'argument - with-mpm=NOM du script configure.
To override the default MPM choice, use the - with-mpm=NAME option of the configure script.
Pour le choix proprement dit du MPM désiré, utiliser l'argument - with-mpm=NOM du script configure.
To actually choose the desired MPM, use the argument - with-mpm=NAME with the configure script.
Le chargement proprement dit de l'URL est reporté et ne commence effectivement qu'après la fin de l'exécution du bloc de script courant.
The actual fetching of the URL is deferred and starts after the current script block finishes executing.
L'expression «scénariste » comprend le scénariste proprement dit, le scripteur et, dans le cas de l'animation, le superviseur du scénario-maquette.
The term "writer" includes screenwriter, script writer and in the case of animation, a story board supervisor, where applicable.
La première constitue le catalogue proprement dit, avec un index des différents aspects de la pratique de Gander. La seconde est composée d'un collage de matériaux divers, travaux préparatoires, chutes, transcriptions, scripts, conversations et documents qui se rapportent aux œuvres indexées.
The first is a complete index/catalogue of the artist's practice, while the second is made up from a collage of by-products, off-cuts, transcriptions, scripts, conversations, and material related to the works in the index.
Tout aussi appréciable est le fait de pouvoir lancer un script, ouvrir une URL ou un fichier avant l'enregistrement proprement dit (ainsi qu'après ce dernier), suivant un laps de temps allant de 5 secondes à 2 minutes.
A nice function, called Processing, allows to launch a script, to open a file or an URL, before and after the recording session, depending on fixed settings, from 5 seconds to 2 minutes.
Pour obtenir zsh sous Gentoo, il suffit d'installer les deux paquets app-shells/zsh (zsh proprement dit) et app-shells/zsh-complétion (les scripts d'auto-complétion).
To install zsh under Gentoo, we need to emerge the app-shells/zsh (zsh itself) and app-shells/zsh-completion (zsh completion scripts) packages.
Le groupe proprement dit n'a que récemment été reconnu par les traités.
The group itself has only recently been recognized in the Treaties.
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.
