schemas/apps/gnome-terminal/profiles/Default/font schemas/apps/gnome-terminal/profiles/Default/exit_action schemas/apps/gnome-terminal/profiles/Default/encoding schemas/apps/gnome-terminal/profiles/Default/delete_binding schemas/apps/gnome-terminal/profiles/Default/default_size_rows schemas/apps/gnome-terminal/profiles/Default/default_size_columns schemas/apps/gnome-terminal/profiles/Default/default_show_menubar schemas/apps/gnome-terminal/profiles/Default/custom_command schemas/apps/gnome-terminal/profiles/Default/cursor_shape schemas/apps/gnome-terminal/profiles/Default/cursor_blink_mode schemas/apps/gnome-terminal/profiles/Default/bold_color_same_as_fg schemas/apps/gnome-terminal/profiles/Default/bold_color schemas/apps/gnome-terminal/profiles/Default/backspace_binding schemas/apps/gnome-terminal/profiles/Default/background_type schemas/apps/gnome-terminal/profiles/Default/background_image schemas/apps/gnome-terminal/profiles/Default/background_darkness schemas/apps/gnome-terminal/profiles/Default/background_color schemas/apps/gnome-terminal/profiles/Default/alternate_screen_scroll schemas/apps/gnome-terminal/profiles/Default/allow_bold schemas/apps/gnome-terminal/keybindings/zoom_out schemas/apps/gnome-terminal/keybindings/zoom_normal schemas/apps/gnome-terminal/keybindings/zoom_in schemas/apps/gnome-terminal/keybindings/toggle_menubar schemas/apps/gnome-terminal/keybindings/switch_to_tab_9 schemas/apps/gnome-terminal/keybindings/switch_to_tab_8 schemas/apps/gnome-terminal/keybindings/switch_to_tab_7 schemas/apps/gnome-terminal/keybindings/switch_to_tab_6 schemas/apps/gnome-terminal/keybindings/switch_to_tab_5 schemas/apps/gnome-terminal/keybindings/switch_to_tab_4
schemas/apps/gnome-terminal/keybindings/switch_to_tab_3 schemas/apps/gnome-terminal/keybindings/switch_to_tab_2 schemas/apps/gnome-terminal/keybindings/switch_to_tab_12 schemas/apps/gnome-terminal/keybindings/switch_to_tab_11 schemas/apps/gnome-terminal/keybindings/switch_to_tab_10 schemas/apps/gnome-terminal/keybindings/switch_to_tab_1
schemas/apps/gnome-terminal/keybindings/set_terminal_title schemas/apps/gnome-terminal/keybindings/save_contents schemas/apps/gnome-terminal/keybindings/reset_and_clear schemas/apps/gnome-terminal/keybindings/reset schemas/apps/gnome-terminal/keybindings/prev_tab schemas/apps/gnome-terminal/keybindings/paste schemas/apps/gnome-terminal/keybindings/next_tab schemas/apps/gnome-terminal/keybindings/new_window schemas/apps/gnome-terminal/keybindings/new_tab schemas/apps/gnome-terminal/keybindings/new_profile schemas/apps/gnome-terminal/keybindings/move_tab_right schemas/apps/gnome-terminal/keybindings/move_tab_left schemas/apps/gnome-terminal/keybindings/help schemas/apps/gnome-terminal/keybindings/full_screen schemas/apps/gnome-terminal/keybindings/detach_tab schemas/apps/gnome-terminal/keybindings/copy schemas/apps/gnome-terminal/keybindings/close_window schemas/apps/gnome-terminal/keybindings/close_tab schemas/apps/gnome-terminal/global/use_mnemonics schemas/apps/gnome-terminal/global/use_menu_accelerators schemas/apps/gnome-terminal/global/profile_list schemas/apps/gnome-terminal/global/default_profile schemas/apps/gnome-terminal/global/confirm_window_close schemas/apps/gnome-terminal/global/active_encodings Save the following content into an XML file: Then set the Terminal font to use Monacao: go to Edit -> Profile Preferences and change the font: Warning: You may have issues with this font in browser. You can run this in Terminal: curl -kL | bash To change the prompt format, add the following lines in ~/.bashrc file: # Prompt style
0 kommentar(er)
