mirror of
https://github.com/mentos1386/dotfiles.git
synced 2025-01-30 08:15:40 +00:00
feat: add atuin
This commit is contained in:
parent
9de5af3777
commit
95cb1c393d
2 changed files with 16 additions and 5 deletions
|
@ -1,2 +1,2 @@
|
|||
--italic-text='always'
|
||||
--theme=OneHalfDark
|
||||
--theme=OneHalfLight
|
||||
|
|
19
nix/core.nix
19
nix/core.nix
|
@ -1,4 +1,9 @@
|
|||
{ lib, config, pkgs, ... }:
|
||||
{
|
||||
lib,
|
||||
config,
|
||||
pkgs,
|
||||
...
|
||||
}:
|
||||
|
||||
{
|
||||
# This value determines the Home Manager release that your configuration is
|
||||
|
@ -40,6 +45,8 @@
|
|||
nmap
|
||||
grpcurl
|
||||
jwt-cli
|
||||
just
|
||||
atuin
|
||||
|
||||
# Refactoring
|
||||
ast-grep
|
||||
|
@ -149,9 +156,7 @@
|
|||
difftastic.enable = true;
|
||||
lfs.enable = true;
|
||||
|
||||
includes = [
|
||||
{ path = "~/.gitconfig.local"; }
|
||||
];
|
||||
includes = [ { path = "~/.gitconfig.local"; } ];
|
||||
|
||||
extraConfig = {
|
||||
user = {
|
||||
|
@ -226,6 +231,12 @@
|
|||
"gl" = "git log";
|
||||
"gp" = "git push";
|
||||
};
|
||||
defaultKeymap = "vicmd";
|
||||
};
|
||||
|
||||
programs.atuin = {
|
||||
enable = true;
|
||||
enableZshIntegration = true;
|
||||
};
|
||||
|
||||
# Let Home Manager install and manage itself.
|
||||
|
|
Loading…
Reference in a new issue