Guest User

Untitled

a guest
Nov 22nd, 2017
109
0
Never
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
text 1.88 KB | None | 0 0
  1. $ cat ~/.config/terminator/config
  2. [global_config]
  3. always_split_with_profile = True
  4. enabled_plugins = InactivityWatch, ActivityWatch, TerminalShot, LaunchpadCodeURLHandler, APTURLHandler, LaunchpadBugURLHandler
  5. scroll_tabbar = True
  6. suppress_multiple_term_dialog = True
  7. title_font = Noto Sans 8
  8. title_hide_sizetext = True
  9. title_use_system_font = False
  10. [keybindings]
  11. split_horiz = <Primary><Alt>d
  12. split_vert = <Primary><Alt>r
  13. [layouts]
  14. [[default]]
  15. [[[child0]]]
  16. fullscreen = False
  17. last_active_term = 95c2ea00-5b89-4037-b99b-84c095a4b18d
  18. last_active_window = True
  19. maximised = True
  20. order = 0
  21. parent = ""
  22. position = 0:0
  23. type = Window
  24. [[[terminal1]]]
  25. order = 0
  26. parent = child0
  27. profile = monokai
  28. type = Terminal
  29. uuid = 95c2ea00-5b89-4037-b99b-84c095a4b18d
  30. [plugins]
  31. [profiles]
  32. [[default]]
  33. allow_bold = False
  34. copy_on_selection = True
  35. cursor_color = "#aaaaaa"
  36. font = Noto Mono 9
  37. login_shell = True
  38. use_system_font = False
  39. [[monokai]]
  40. allow_bold = False
  41. background_color = "#272822"
  42. cursor_color = "#ffffff"
  43. font = Noto Mono 8
  44. foreground_color = "#ffffff"
  45. login_shell = True
  46. palette = "#000000:#f92672:#6cc72c:#fe9720:#5f91ef:#9358fe:#36af90:#8c8c8c:#4c4c4c:#ff80f4:#a7e22e:#ffee99:#5fd9ef:#ae82fe:#66efd5:#c7cece"
  47. use_system_font = False
  48.  
  49.  
  50. $ cat ~/.config/terminator/config_gtk3
  51. [global_config]
  52. suppress_multiple_term_dialog = True
  53. title_hide_sizetext = True
  54. [keybindings]
  55. [layouts]
  56. [[default]]
  57. [[[child1]]]
  58. parent = window0
  59. type = Terminal
  60. [[[window0]]]
  61. parent = ""
  62. type = Window
  63. [plugins]
  64. [profiles]
  65. [[default]]
  66. allow_bold = False
  67. cursor_color = "#aaaaaa"
  68. custom_command = /usr/bin/bash -l
  69. font = Droid Sans Mono 9
  70. icon_bell = False
  71. login_shell = True
  72. use_system_font = False
  73. word_chars = ",/?%&#:._"
Add Comment
Please, Sign In to add comment