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.
The default option is to start on the next whole minute.
L'option par défaut est de commencer sur la prochaine minute entière.
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.
The default option is sufficient in most cases.
L'option par défaut suffit dans la plupart des cas.