2019-05-28 17:44:30 +02:00
|
|
|
[Appearance]
|
|
|
|
|
AntiAliasFonts=true
|
|
|
|
|
BoldIntense=false
|
|
|
|
|
ColorScheme=GreenOnBlack
|
2020-03-23 12:23:14 +01:00
|
|
|
Font=Hack,16,-1,0,50,0,0,0,0,0
|
2019-05-28 17:44:30 +02:00
|
|
|
LineSpacing=1
|
|
|
|
|
UseFontLineChararacters=true
|
|
|
|
|
|
|
|
|
|
[Cursor Options]
|
|
|
|
|
CursorShape=2
|
|
|
|
|
|
|
|
|
|
[Encoding Options]
|
|
|
|
|
DefaultEncoding=UTF-8
|
|
|
|
|
|
|
|
|
|
[General]
|
|
|
|
|
Command=/bin/bash --login
|
|
|
|
|
Directory=~
|
|
|
|
|
Environment=TERM=konsole-256color,COLORTERM=truecolor
|
|
|
|
|
Name=Default
|
|
|
|
|
Parent=FALLBACK/
|
|
|
|
|
ShowTerminalSizeHint=true
|
|
|
|
|
TerminalCenter=true
|
|
|
|
|
TerminalColumns=100
|
2020-07-15 17:51:59 +02:00
|
|
|
TerminalMargin=5
|
2019-05-28 17:44:30 +02:00
|
|
|
TerminalRows=35
|
|
|
|
|
|
2021-02-07 18:28:14 +01:00
|
|
|
[Interaction Options]
|
|
|
|
|
CopyTextAsHTML=false
|
|
|
|
|
UnderlineFilesEnabled=true
|
|
|
|
|
|
2019-05-28 17:44:30 +02:00
|
|
|
[Scrolling]
|
|
|
|
|
HistoryMode=1
|
|
|
|
|
ScrollBarPosition=2
|
|
|
|
|
|
|
|
|
|
[Terminal Features]
|
|
|
|
|
BlinkingCursorEnabled=true
|
