Logs on 2025-08-24 (liberachat/#xmonad)
| 00:30:23 | → | catman joins (~catman@user/catman) |
| 01:20:26 | × | ft quits (~ft@p508db91f.dip0.t-ipconnect.de) (Ping timeout: 248 seconds) |
| 01:22:14 | → | ft joins (~ft@p4fc2a25a.dip0.t-ipconnect.de) |
| 02:20:54 | → | Viking667 joins (~user@user/Viking667) |
| 02:22:17 | <Viking667> | Hi - I've got an old version of xmonad, where does the Run prompt store its history? I can't find where it's meant to be. |
| 02:24:16 | <geekosaur> | if you use ~/.xmonad then it's ~/.xmonad/proompt-history, otherwise ~/.cache/xmonad/prompt-history |
| 02:24:21 | <geekosaur> | *prompt |
| 02:24:45 | <Viking667> | huh. I thought I looked in .xmonad. I'll try that again. Thank you. |
| 02:25:27 | <Viking667> | nope. |
| 02:27:33 | <Viking667> | My normal key sequence to bring it up is Mod-Shift-P, but I can't find that key sequence in my xmonad.hs |
| 02:29:02 | <geekosaur> | oh. the default binding for that is to run gmrun, you'll need to check its documentation |
| 02:29:34 | <geekosaur> | I gave you the one for the built-in version (XMonad.Prompt.Shell) |
| 02:30:22 | <Viking667> | huh. I wasn't even aware gmrun was a thing. Thank you, I think that's the file I'm meant to be using. |
| 02:30:22 | <geekosaur> | https://github.com/xmonad/xmonad/blob/master/src/XMonad/Config.hs#L190 |
| 02:31:00 | <Viking667> | Is that normally truncated to 256 lines? |
| 02:32:01 | <Viking667> | erm, sorry. Is the .gmrun_history normally truncated to a set number of lines? |
| 02:34:22 | <geekosaur> | I don't know |
| 02:35:49 | <Viking667> | Oh for ...... on my system, /usr/share/xmonad/xmonad.hs is very short, only about 12 lines. |
| 02:36:42 | <Viking667> | They stuck the proper oneover in docspace. |
| 02:37:31 | <geekosaur> | it's not the proper one |
| 02:38:02 | <geekosaur> | it's an example of what the default bindings were in the version you're running; using it as your xmonad.hs means you don't get changes (like when dmenu's usage changed) |
| 02:38:29 | <geekosaur> | you're supposed to inherit and override the defaults |
| 02:40:04 | <Viking667> | I have a ~/.xmonad/xmonad.hs already that came dramatically modified from the defaults. Blame DTOS for that. I basically modified what he had. |
| 02:43:18 | <haskellbridge> | <iqubic (she/her)> DTOS is just the personl arch config of a popular Linux YouTuber made freely available for all. |
| 02:43:29 | <Viking667> | I had fun trying to get more than 9 workspaces to work properly. I still haven't got "move client to workspace N" working for workspaces above 9, and everything's one digit off... |
| 02:45:09 | <Viking667> | iqubic: I'm definitely aware of that. It made it work, once I corrected some things for my older xmonad. Anyhow, I found what I wanted - thank you geekosaur. I wouldn't have known where to look, nor even that there was a default example. |
| 02:45:30 | Viking667 | waves goodbye again. |
| 02:45:36 | <geekosaur> | https://github.com/geekosaur/xmonad.hs/blob/hilfy-2023/xmonad.hs#L315-L319 |
| 02:45:47 | <geekosaur> | note that I use EZConfig, which we recommend these days |
| 02:45:56 | ← | Viking667 parts (~user@user/Viking667) (*sighup*) |
| 03:08:01 | × | OftenFaded quits (~Al@user/tisktisk) (Ping timeout: 255 seconds) |
| 03:09:54 | → | OftenFaded joins (~Al@user/tisktisk) |
| 05:37:23 | → | Solid joins (~slot@xmonad/slotThe) |
| 07:16:32 | × | yosafbridge quits (~yosafbrid@static.38.6.217.95.clients.your-server.de) (Server closed connection) |
| 07:25:25 | → | yosafbridge joins (~yosafbrid@static.38.6.217.95.clients.your-server.de) |
| 07:35:08 | × | _qw quits (~eqw@user/eqw) (Server closed connection) |
| 07:35:28 | → | _qw joins (~eqw@user/eqw) |
| 08:02:04 | × | weitcis quits (~quassel@syn-172-091-071-027.res.spectrum.com) (Server closed connection) |
| 08:02:17 | → | weitcis joins (~quassel@syn-172-091-071-027.res.spectrum.com) |
| 08:11:24 | × | Solid quits (~slot@xmonad/slotThe) (Quit: ERC 5.6.1-git (IRC client for GNU Emacs 31.0.50)) |
| 09:42:49 | × | dweller quits (~dweller@178.62.146.60) (Server closed connection) |
| 09:43:03 | → | dweller joins (~dweller@178.62.146.60) |
| 10:08:24 | × | OftenFaded quits (~Al@user/tisktisk) (Ping timeout: 248 seconds) |
| 10:08:49 | → | OftenFaded joins (~Al@user/tisktisk) |
| 10:32:25 | × | dibblego quits (~dibblego@haskell/developer/dibblego) (Server closed connection) |
| 10:32:48 | → | dibblego joins (~dibblego@haskell/developer/dibblego) |
| 12:02:13 | ← | L29Ah parts (~L29Ah@wikipedia/L29Ah) (Disconnected: closed) |
| 12:03:44 | → | L29Ah joins (~L29Ah@wikipedia/L29Ah) |
| 12:38:29 | → | tremon joins (~tremon@83.80.159.219) |
| 13:34:22 | × | catman quits (~catman@user/catman) (Quit: WeeChat 4.7.1) |
| 13:36:58 | → | catman joins (~catman@user/catman) |
| 13:50:54 | × | catman quits (~catman@user/catman) (Quit: WeeChat 4.7.1) |
| 13:55:19 | → | catman joins (~catman@user/catman) |
| 17:59:58 | × | rieper quits (~riepernet@2a03:4000:6:f1d6:6885:6fff:fe5a:8933) (Server closed connection) |
| 18:00:08 | → | rieper joins (~riepernet@2a03:4000:6:f1d6:6885:6fff:fe5a:8933) |
| 18:34:42 | × | joshproehl quits (~quassel@user/joshproehl) (Server closed connection) |
| 18:34:51 | → | joshproehl joins (~quassel@user/joshproehl) |
| 19:40:29 | × | ft quits (~ft@p4fc2a25a.dip0.t-ipconnect.de) (Quit: Lost terminal) |
| 19:42:22 | → | ft joins (~ft@p4fc2a25a.dip0.t-ipconnect.de) |
| 20:30:42 | × | wz1000 quits (~zubin@static.11.113.47.78.clients.your-server.de) (Ping timeout: 258 seconds) |
| 20:43:15 | → | wz1000 joins (~zubin@static.11.113.47.78.clients.your-server.de) |
| 21:16:11 | × | amenonsen quits (~amenonsen@pitta.toroid.org) (Server closed connection) |
| 21:16:27 | → | amenonsen joins (~amenonsen@pitta.toroid.org) |
| 21:41:16 | × | fizzie quits (irc@selene.zem.fi) (Server closed connection) |
| 21:41:55 | → | fizzie joins (~irc@selene.zem.fi) |
| 21:54:32 | × | tremon quits (~tremon@83.80.159.219) (Quit: getting boxed in) |
| 23:28:28 | × | todi1 quits (~todi@p57803331.dip0.t-ipconnect.de) (Ping timeout: 256 seconds) |
| 23:28:41 | → | todi joins (~todi@p57803331.dip0.t-ipconnect.de) |
| 23:46:03 | × | pl quits (sid98063@id-98063.helmsley.irccloud.com) (Server closed connection) |
| 23:46:26 | → | pl joins (sid98063@id-98063.helmsley.irccloud.com) |
All times are in UTC on 2025-08-24.