Comment changer la police par défaut de la console dans Windows 10?
J'ai déjà effectué la modification de "Cmd.exe", mais le problème est que j'exécute également de nombreuses autres applications de console en les exécutant directement (je suis développeur). Chaque fois que je lance un nouvel exécutable, je dois changer la police en fonction de mes préférences.
Les paramètres par défaut ont la taille de police à 11 pour une raison quelconque, qui est trop petite. Je veux définir la taille par défaut 16 ou 18, et la faire appliquer automatiquement à n'importe quelle fenêtre de console jamais ouverte sur le système.
la source
Le Cmd.exe doit être exécuté en tant qu'administrateur pour que les modifications soient enregistrées. Pour ajouter plus de polices que la police par défaut à la console, voir comment faire Tech Republic.
la source
Faites un clic droit sur Invite de commandes > Ouvrir l'emplacement du fichier > dans la fenêtre, vous pouvez voir le raccourci clic droit > propriétés > enregistrez le
la source