proper ui_options
This commit is contained in:
parent
4cd4d5c3a2
commit
bf4e2bab72
|
@ -11,7 +11,7 @@
|
||||||
pkgs = nixpkgs.legacyPackages.${sys};
|
pkgs = nixpkgs.legacyPackages.${sys};
|
||||||
kak = pkgs.stdenv.mkDerivation rec {
|
kak = pkgs.stdenv.mkDerivation rec {
|
||||||
pname = "kak";
|
pname = "kak";
|
||||||
version = "2022.10.31";
|
version = "dev";
|
||||||
src = ./. ;
|
src = ./. ;
|
||||||
makeFlags = [ "debug=no" "PREFIX=${placeholder "out"}" ];
|
makeFlags = [ "debug=no" "PREFIX=${placeholder "out"}" ];
|
||||||
|
|
||||||
|
@ -34,7 +34,7 @@
|
||||||
mkdir autoload
|
mkdir autoload
|
||||||
ln -s --relative "$autoload_target" autoload
|
ln -s --relative "$autoload_target" autoload
|
||||||
cat <<EOF >> kakrc
|
cat <<EOF >> kakrc
|
||||||
set-option global terminal_assistant=cat
|
set-option global ui_options terminal_assistant=cat
|
||||||
EOF
|
EOF
|
||||||
'';
|
'';
|
||||||
};
|
};
|
||||||
|
|
Loading…
Reference in New Issue
Block a user