Enter this command on the terminal:
gsettings set org.gnome.desktop.interface monospace-font-name 'Ubuntu Mono 13'Enter this command on the terminal:
gsettings set org.gnome.desktop.interface monospace-font-name 'Ubuntu Mono 13'Suppose you have such ssh config:
Host folan_server
Port 22
User root
ForwardAgent yes
ProxyCommand ssh -A -p 22 [email protected] -W y.y.y.y:22
| IntelliJ | VS Code | Description |
|---|---|---|
| Alt+1 | Ctrl+Shift+E / Ctrl+B | |
| Alt+Shift+1 | F1 -> reveal -> Enter | |
| Double Shift | Ctrl+P | |
| Alt+F12 | Ctrl+` | |
| Alt+Ctrl+S | Ctrl+, | |
| Settings -> Key Bindings | Ctrl+K Ctrl+S | |
| Settings -> Extensions | Ctrl+Shift+X | |
| Ctrl+K | Ctrl+Shift+G |
0 */3 * * * '/usr/bin/rm /home/majid/java_error_in_idea_*.log' >> /tmp/cron_remove_java_error_in_idea.log 2>&1
0 */3 * * * '/usr/bin/rm /home/majid/replay_pid*.log' >> /tmp/cron_remove_replay_pid.log 2>&1
| mkdir -p ~/.vim/syntax/ | |
| wget https://www.vim.org/scripts/download_script.php?src_id=27919 -O ~/.vim/syntax/nginx.vim | |
| cat > ~/.vim/filetype.vim <<EOF | |
| au BufRead,BufNewFile /etc/nginx/*,/etc/nginx/conf.d/*,/usr/local/nginx/conf/* if &ft == '' | setfiletype nginx | endif | |
| EOF |
Here is the link to the extension. Here is the link to the chrome extension.