I have been using konsole for years as my terminal window on linux, but I must admit that things have gone so well, that I have not been actively configuring it. Recently, I have been been having a problem with “history” command. But my real problem right now, is that the online konsole documentation that I found on “www.duckduckgo.com” does not match up with what I am seeing in my version of konsole on my PC.
I want to set the konsole “history” to unlimited. I went to duckduckgo and found what is include at the end of this document as “Duckduckgo Info”.
I found the “Settings” button as a button on the konsole window as one of the tabs. When I clicked on the “Settings” button a menu popped up. I went through the menu and all the sub-items in the menu, but I found nothing related to “history”, thus I could not change the history setting. I expected to find something in my profile, but no luck there.
Additionally, I went to “.config” directory in my home directory. I found “konsolerc” there. If memory serves me right, in the past, konsole settings could be set in the konsolerc file, but I found no history setting there.
So, I have two questions:
-
How can I set the “history” in my current version of konsole (version 22.12.3)?
-
Where do I find documentation for my current version of konsole?
Jim A
___________________________________________________________________
Duckduckgo Info
____________________________________________________________________
Adjusting History Length in Konsole
To control the history length in a Konsole window, you can set it to a specific value or to unlimited. Follow these steps to adjust the settings:
Steps to Change History Size
-
Open Konsole: Launch the Konsole application on your KDE Plasma desktop.
-
Access Settings: Navigate to the settings menu. This is typically found under the “Edit” menu or by right-clicking in the terminal window.
-
Locate History Settings: Look for an option related to history size. This may be labeled as “History” or “Terminal History.”
-
Set History Size:
- To set a specific limit, enter the desired number (e.g., 99999).
- To set it to unlimited, select the option for unlimited history.
-
Save Changes: Make sure to apply or save your changes before exiting the settings menu
__________________________________________________________________________________________________