ambroisie/nix-config
ambroisie/nix-config
1
0
Fork 0
Code Issues Pull requests Projects Releases Wiki Activity
1024 commits 9 branches 0 tags 5.1 MiB
Commit graph

39 commits

Author SHA1 Message Date
Bruno BELANYI af8f3c814b home: zsh: ensure application mode with zle 2023-03-15 18:20:23 +00:00
Bruno BELANYI 2431f8f207 home: zsh: refactor 'terminfo' handling 
This is more readable.

Largely inspired by oh-my-zsh.
 2023-03-15 18:20:23 +00:00
Bruno BELANYI bc5fa3f679 home: zsh: use terminfo for mappings 2023-03-15 17:40:05 +00:00
Bruno BELANYI ca047bfe97 home: zsh: use more readable option names
All checks were successful
continuous-integration/drone/push Build is passing
Details 
Since they ignore underscores, this is more readable.
 2023-03-15 15:20:14 +00:00
Bruno BELANYI eb75fcfa3f home: zsh: enable slash squeezing 2023-03-15 15:20:14 +00:00
Bruno BELANYI 1e4d4650e2 home: zsh: disable shared history
All checks were successful
continuous-integration/drone/push Build is passing
Details 
I know I just activated it, but I can't get used to it...

I would like to have a mixture of it:
* Be able to search across *all* shell histories when using Ctrl-r.
* Only go up/down my session's shell history when using Ctrl-n/Ctrl-p.

Enabling shared history gets me the first one, but means I can't limit
my up/down history to just the one session.

Disabling shared history means that I can't search across all shell
histories, but keeps my up/down history tidier.

All-in-all I like the second one better.
 2023-03-11 22:01:47 +00:00
Bruno BELANYI 2d2f729138 home: zsh: don't hard-code '$XDG_CONFIG_HOME'
All checks were successful
continuous-integration/drone/push Build is passing
Details
2023-03-08 14:42:54 +00:00
Bruno BELANYI f1a7e9fd93 home: zsh: enable history sharing 2023-03-08 14:37:37 +00:00
Bruno BELANYI 7dd221cc93 home: zsh: expire duplicates first 2023-03-08 14:37:37 +00:00
Bruno BELANYI ff66361f65 home: zsh: use extended history 
I have `inc_append_history_time` set, so I should use extended
history...
 2023-03-08 14:37:37 +00:00
Bruno BELANYI 4786552e8c home: zsh: verify history expansion 
This helps when I absentmindedly run a command which contains
exclamation points.
 2023-03-08 14:37:37 +00:00
Bruno BELANYI 068faea1e2 home: zsh: extra-mappings: use single quotes
All checks were successful
continuous-integration/drone/push Build is passing
Details
2023-03-07 11:05:07 +00:00
Bruno BELANYI 607d11bbad home: zsh: disable tmux auto-launch by default
All checks were successful
continuous-integration/drone/push Build is passing
Details
2023-02-22 16:12:30 +00:00
Bruno BELANYI 34c13b077f home: zsh: refactor tmux auto-launch configuration 
Introduce an actual option for this behaviour.
 2023-02-22 16:11:18 +00:00
Bruno BELANYI 0bbf522c03 home: tmux: change 'use lib.my' to 'use libs' 2023-02-22 16:00:26 +00:00
Bruno BELANYI e667c042cb home: zsh: add colorful aliases
All checks were successful
continuous-integration/drone/push Build is passing
Details
2023-02-19 12:25:40 +00:00
Bruno BELANYI c1c3146311 home: zsh: always enable VTE integration 2023-02-12 16:43:55 +00:00
Bruno BELANYI 699b6b8e33 home: zsh: include local-only config file
All checks were successful
continuous-integration/drone/push Build is passing
Details 
Useful for configuration options that should remain secret.
 2023-02-08 14:44:23 +00:00
Bruno BELANYI 3a0fa3398d home: zsh: modify 'initExtra' inclusion style 2023-02-08 14:43:39 +00:00
Bruno BELANYI 0e4a4df544 home: zsh: add usual aliases 
I forgot to add them, since on NixOS they are defined at the system
level by default.
 2023-02-08 10:36:10 +00:00
Bruno BELANYI f637401cd6 home: zsh: use packaged 'agkozak-zsh-prompt' 2022-04-11 18:33:15 +02:00
Bruno BELANYI b6d1702726 home: zsh: add 'zsh-completions' when enabled 
Notably useful for `git-revise`.
 2022-03-04 17:40:30 +01:00
Bruno BELANYI 4356ae0f36 home: zsh: refactor 'mkIf' block 2022-03-04 17:40:30 +01:00
Bruno BELANYI e2be5f6139 home: zsh: use packaged 'fast-syntax-highlighting' 2022-03-04 17:40:30 +01:00
Bruno BELANYI 3d0a73fffd home: zsh: launch tmux when starting a shell 2021-09-30 15:34:16 +02:00
Bruno BELANYI 3736e3a415 home: zsh: clean-up blank in history 2021-08-25 12:51:38 +02:00
Bruno BELANYI e2546bd958 home: zsh: append to history 
Otherwise the file is replaced rather than appended to.
 2021-08-25 12:44:42 +02:00
Bruno BELANYI 3d7420210a home: zsh: do not share history accross shells 
It's more annoying than helpful...
 2021-08-25 12:22:36 +02:00
Bruno BELANYI 0ff730bf44 home: zsh: explicitly set history save size 
Turns out the `history.save` limit is for what is *loaded into memory*,
not what is written to disk.
 2021-06-23 23:14:05 +02:00
Bruno BELANYI 0970ab71eb home: zsh: explicitly opt out of extended history 2021-06-23 23:13:39 +02:00
Bruno BELANYI 3cc933de81 home: zsh: remove trailing whitespace 2021-05-30 00:46:09 +02:00
Bruno BELANYI 684dac5904 home: zsh: make history ten times bigger 2021-05-16 00:03:59 +02:00
Bruno BELANYI eba01a0067 home: zsh: enable VTE integration when appropriate 2021-05-08 17:14:13 +02:00
Bruno BELANYI 7cacca9baf home: zsh: add 'reset-agent' alias 2021-03-31 17:56:36 +00:00
Bruno BELANYI de94160adf home: zsh: make it enable-able
All checks were successful
continuous-integration/drone/push Build is passing
Details
2021-03-14 12:18:09 +00:00
Bruno BELANYI 7e4ae50282 home: zsh: add extra mappings 
Once again, old habits die hard...
 2021-03-03 17:02:48 +00:00
Bruno BELANYI d76b708d19 home: zsh: add asynchronous prompt 
And customize it so that it looks like the old one, because change is
*bad*.
 2021-03-03 17:02:48 +00:00
Bruno BELANYI d4dd67fab4 home: zsh: put further customization in files 
I like the editing experience better when using dedicated files for this
 2021-03-03 17:02:48 +00:00
Bruno BELANYI 7c2430bb47 home: zsh: move into its own directory 2021-03-03 17:02:48 +00:00