Changing the default option in this way has a double effect.
The new kernel will be the default option in grub.
If there are not then the default option wins after all.
One specific kind of nudging is to change the default option.
Une des façons spécifiques de nudger est de changer l'option par défaut.
This is now a default option in the configuration file.
Celle-ci est désormais une option par défaut dans le fichier de configuration.
The default option is to present an open network to all.
L'option par défaut est de présenter un réseau ouvert à tous.
This is the default option at the decoder listed above.
C'est l'option par défaut dans le décodeur cité ci-dessus.
If you are unsure, select the default option.
En cas de doute, choisissez l'option par défaut.
Switch the default option from video to audio.
Passez l'option par défaut de la vidéo à l'audio.
Current default option is to disable double buffering.
Actuellement l'option par défaut est de désactiver le double buffering.
For most users the default option is fine.
Pour la plupart des utilisateurs, l'option par défaut est conseillée.
This will leave them with the default option or status quo.
Ils seront alors confrontés à l'option par défaut ou au statu quo.
If people don't decide, there will be a default option.
En l'absence de décision, il y aura une option par défaut.