2022-08-11 12:55:28 -04:00
|
|
|
[Appearance]
|
|
|
|
|
ColorScheme=DarkPastels
|
2022-10-15 19:05:43 -04:00
|
|
|
Font=Comic Code Ligatures Medium,10,-1,5,57,0,0,0,0,0,Regular
|
|
|
|
|
LineSpacing=4
|
2022-08-11 12:55:28 -04:00
|
|
|
|
|
|
|
|
[General]
|
|
|
|
|
Command=/bin/zsh
|
|
|
|
|
Name=My Profile
|
|
|
|
|
Parent=FALLBACK/
|
2022-09-02 20:29:28 -04:00
|
|
|
TerminalColumns=80
|
2022-10-15 19:05:43 -04:00
|
|
|
TerminalMargin=10
|
2023-02-15 11:14:40 -05:00
|
|
|
|
2023-07-12 00:52:48 -04:00
|
|
|
[Interaction Options]
|
|
|
|
|
AutoCopySelectedText=true
|
|
|
|
|
TrimTrailingSpacesInSelectedText=true
|
|
|
|
|
|
|
|
|
|
[Scrolling]
|
|
|
|
|
HistoryMode=2
|
|
|
|
|
|
2023-02-15 11:14:40 -05:00
|
|
|
[Terminal Features]
|
|
|
|
|
BlinkingCursorEnabled=false
|
2023-07-12 00:52:48 -04:00
|
|
|
UrlHintsModifiers=0
|
