is there any chance to change the font size of the Windows CE command line shell (\windows\cmd.exe)?
I would like to use a smaller font, so more text can be displayed on small displays (eg 320x240).
Thanks for any help.
Regards, Timm.
Related
In Pycharm-run, the input text color is always green and Italic while the output is always in plain text in white, which really helps me to distinguish the input from the output. How do I do that in Linux terminal or in VSCode?
I use Linux mint and i can easily change the color of font , color of palette, output color, size and all by opening the terminal -> Edit -> Preferences. It has all the options .I hope this helps.
open the bash terminal
go to .bashrc using vi or nano
at the end of the file add the PS1
PS1="\e[1;31m\u#\h \W$ \e[0;0m"
This code at the end of the rc file will make your prompt red and bold
There are many ways you can change by manipulating the characters in it.
Here is an useful link: https://phoenixnap.com/kb/change-bash-prompt-linux
I only case about the font size, I want nothing to do with the font other than its size set guifont makes me put in a font, therefor its useless to me.
Update: all of the answers here weren't what I was asking for but I gave up on trying to fix it and moved on to using vim on Cmder.
For nvim-qt used in Windows, the following command works after nvim-qt has started:
execute join(["GuiFont! ", split(GuiFont, ":")[0], ":h14"], "")
With your font size in place of 14.
To set the font size at start, you have to use ginit.vim instead of init.vim, since init.vim starts before the GUI is loaded. Location of ginit.vim is C:\Users[User]\AppData\Local\nvim.
I can't seem to change the font in Godot's script editor. I want to change it to the monaco_linux.ttf I downloaded. I've specified which file to use, but the font only seems to increase in size a bit when I set it.
How can I change the font in Godot's script editor?
Editor Font Setting:
Editor >> Editor Settings >> Code Font >> Path/To/ttf
It seems like the font wasn't working because I was trying to use size 14 font. When I switched to size 16, it worked fine..
I am new to fvwm machine which is used by my new employers.
I am struggling in customizing gvim menu (File, Edit,etc) font size.
As you can see in the attached image, the font size are decent, but menu size is pretty small as compared to text font size.
How to solve this??
Reference Image:
gvim uses gnome gtk in the gnome version of gvim and in this case you can configure your environment using a .gtkrc file see https://unix.stackexchange.com/questions/25043/what-is-this-gtkrc-file. As another answer pointed out for Gtk 2.x programs ~/.gtkrc-2.0 is the configuration file.
To modify your font see e.g.
https://ubuntuforums.org/showthread.php?t=846348
https://bbs.archlinux.org/viewtopic.php?id=164044
https://unix.stackexchange.com/a/478303/38701
examples:
gtk-font-name = "Sans 12"
which gives you a Sans-Serif font with size 12
gtk-font-name = "DejaVu Sans 11"
which is more specific regarding the font and uses size 11
Create .gtkrc-2.0 in your home directory if it isn't present already
and add:
gtk-font-name = "bitstream bold 16"
That should solve your problem.
This question already has answers here:
How do I set the default font size in Vim?
(8 answers)
Closed 8 years ago.
gvim for windows has tiny text and icons on my ultra-HD Dell laptop (3200-1800) . In fact, it is barely readable. How does one change gvim gui fonts and increases the icons to obtain readable text on a high resolution, windows 8 laptop?
you should configure you font size, one possible solution is is like this(you can put it in your vimrc):
set guifont=Consolas:h13
"Consolas" is the font name and "h13" is the font size, you should change 13 to a proper number~
(I'm not sure about Windows, but...)
It really depends. If you're using vim from a terminal emulator the settings must be changed in your terminal emulator (let's say PuTTy).
But if you're using GVIM, then use :set guifont font\ name\ size to specify the font size.
In order to check witch font and size you're using, simple call :set guifont and it will promt you with the current settings
In my case I use the following: :set guifont=Ubuntu\ Mono\ 18