kakoune: add back kaktex
This commit is contained in:
parent
0e320f1c1a
commit
833bd167d4
GPG key ID:
55A032EB38B49ADB
|
|
@ -1,3 +1,5 @@
|
||||||
{ callPackage, kakoune, ... }: kakoune.override {
|
{ callPackage, kakoune, ... }: kakoune.override {
|
||||||
plugins = (callPackage ./plugins.nix { }).plugins;
|
plugins = (callPackage ./plugins.nix { }) ++ [
|
||||||
|
./kaktex
|
||||||
|
];
|
||||||
}
|
}
|
||||||
|
|
|
||||||
22
packages/common/nki-kakoune/kaktex/default.nix
Normal file
22
packages/common/nki-kakoune/kaktex/default.nix
Normal file
|
|
@ -0,0 +1,22 @@
|
||||||
|
{ fish, lib, writeScript, writeTextDir, kakouneUtils, ... }:
|
||||||
|
let
|
||||||
|
kaktex-script = writeScript "kaktex" ''
|
||||||
|
#!/usr/bin/env ${lib.getExe fish}
|
||||||
|
|
||||||
|
${builtins.readFile ./kaktex.fish}
|
||||||
|
'';
|
||||||
|
kaktex = writeTextDir "kaktex.kak" ''
|
||||||
|
hook global WinSetOption filetype=(tex|latex) %{
|
||||||
|
hook window WinDisplay '.*' %{
|
||||||
|
eval %sh{
|
||||||
|
${kaktex-script} set $kak_client $kak_session
|
||||||
|
}
|
||||||
|
}
|
||||||
|
}
|
||||||
|
'';
|
||||||
|
in
|
||||||
|
kakouneUtils.buildKakounePluginFrom2Nix {
|
||||||
|
pname = "kaktex";
|
||||||
|
version = "latest";
|
||||||
|
src = kaktex;
|
||||||
|
}
|
||||||
26
packages/common/nki-kakoune/kaktex/kaktex.fish
Executable file
26
packages/common/nki-kakoune/kaktex/kaktex.fish
Executable file
|
|
@ -0,0 +1,26 @@
|
||||||
|
function usage
|
||||||
|
echo "Usage: "
|
||||||
|
echo " kaktex set [client] [session]"
|
||||||
|
echo " kaktex jump [file] [line] [column]"
|
||||||
|
exit 1
|
||||||
|
end
|
||||||
|
|
||||||
|
if test (count $argv) -lt 3
|
||||||
|
usage
|
||||||
|
end
|
||||||
|
|
||||||
|
switch $argv[1]
|
||||||
|
case "set"
|
||||||
|
set -U _kaktex_client $argv[2]
|
||||||
|
set -U _kaktex_session $argv[3]
|
||||||
|
case "jump"
|
||||||
|
echo "
|
||||||
|
evaluate-commands -client $_kaktex_client %{
|
||||||
|
evaluate-commands -try-client $_kaktex_client %{
|
||||||
|
edit -existing -- $argv[2] $(math $argv[3] + 1) $(math $argv[4] + 1)
|
||||||
|
}
|
||||||
|
}
|
||||||
|
" | kak -p $_kaktex_session
|
||||||
|
case '*'
|
||||||
|
usage
|
||||||
|
end
|
||||||
|
|
@ -34,176 +34,172 @@ let
|
||||||
};
|
};
|
||||||
};
|
};
|
||||||
in
|
in
|
||||||
{
|
builtins.map kakounePlugin [
|
||||||
plugins = builtins.map kakounePlugin
|
# My own scripts
|
||||||
[
|
{
|
||||||
# My own scripts
|
name = "latex.kak";
|
||||||
{
|
src = toDir "latex.kak" ./autoload/latex.kak;
|
||||||
name = "latex.kak";
|
}
|
||||||
src = toDir "latex.kak" ./autoload/latex.kak;
|
{
|
||||||
}
|
name = "markdown.kak";
|
||||||
{
|
src = toDir "markdown.kak" ./autoload/markdown.kak;
|
||||||
name = "markdown.kak";
|
}
|
||||||
src = toDir "markdown.kak" ./autoload/markdown.kak;
|
|
||||||
}
|
|
||||||
|
|
||||||
# Plugins
|
# Plugins
|
||||||
{
|
{
|
||||||
name = "luar";
|
name = "luar";
|
||||||
src = pkgs.fetchFromGitHub {
|
src = pkgs.fetchFromGitHub {
|
||||||
owner = "gustavo-hms";
|
owner = "gustavo-hms";
|
||||||
repo = "luar";
|
repo = "luar";
|
||||||
rev = "2f430316f8fc4d35db6c93165e2e77dc9f3d0450";
|
rev = "2f430316f8fc4d35db6c93165e2e77dc9f3d0450";
|
||||||
sha256 = "sha256-vHn/V3sfzaxaxF8OpA5jPEuPstOVwOiQrogdSGtT6X4=";
|
sha256 = "sha256-vHn/V3sfzaxaxF8OpA5jPEuPstOVwOiQrogdSGtT6X4=";
|
||||||
};
|
};
|
||||||
activationScript = ''
|
activationScript = ''
|
||||||
# Enable luar
|
# Enable luar
|
||||||
require-module luar
|
require-module luar
|
||||||
# Use luajit
|
# Use luajit
|
||||||
set-option global luar_interpreter ${pkgs.luajit}/bin/luajit
|
set-option global luar_interpreter ${pkgs.luajit}/bin/luajit
|
||||||
'';
|
'';
|
||||||
}
|
}
|
||||||
{
|
{
|
||||||
name = "peneira";
|
name = "peneira";
|
||||||
src = pkgs.fetchFromGitHub {
|
src = pkgs.fetchFromGitHub {
|
||||||
owner = "natsukagami";
|
owner = "natsukagami";
|
||||||
repo = "peneira";
|
repo = "peneira";
|
||||||
rev = "743b9971472853a752475e7c070ce99089c6840c";
|
rev = "743b9971472853a752475e7c070ce99089c6840c";
|
||||||
sha256 = "sha256-E4ndbF9YC1p0KrvSuGgwmG1Y2IGTuGKJo/AuMixhzlM=";
|
sha256 = "sha256-E4ndbF9YC1p0KrvSuGgwmG1Y2IGTuGKJo/AuMixhzlM=";
|
||||||
};
|
};
|
||||||
activationScript = ''
|
activationScript = ''
|
||||||
require-module peneira
|
require-module peneira
|
||||||
|
|
||||||
# Change selection color
|
# Change selection color
|
||||||
set-face global PeneiraSelected @PrimarySelection
|
set-face global PeneiraSelected @PrimarySelection
|
||||||
|
|
||||||
# Buffers list
|
# Buffers list
|
||||||
define-command -hidden peneira-buffers %{
|
define-command -hidden peneira-buffers %{
|
||||||
peneira 'buffers: ' %{ printf '%s\n' $kak_quoted_buflist } %{
|
peneira 'buffers: ' %{ printf '%s\n' $kak_quoted_buflist } %{
|
||||||
buffer %arg{1}
|
buffer %arg{1}
|
||||||
}
|
|
||||||
}
|
}
|
||||||
|
}
|
||||||
|
|
||||||
# Grep in the current location
|
# Grep in the current location
|
||||||
define-command peneira-grep %{
|
define-command peneira-grep %{
|
||||||
peneira 'line: ' "rg -n ." %{
|
peneira 'line: ' "rg -n ." %{
|
||||||
lua %arg{1} %{
|
lua %arg{1} %{
|
||||||
local file, line = arg[1]:match("([^:]+):(%d+):")
|
local file, line = arg[1]:match("([^:]+):(%d+):")
|
||||||
kak.edit(file, line)
|
kak.edit(file, line)
|
||||||
}
|
|
||||||
}
|
|
||||||
}
|
}
|
||||||
|
}
|
||||||
# A peneira menu
|
|
||||||
declare-user-mode fuzzy-match-menu
|
|
||||||
|
|
||||||
map -docstring "Switch to buffer" global fuzzy-match-menu b ": peneira-buffers<ret>"
|
|
||||||
map -docstring "Symbols" global fuzzy-match-menu s ": peneira-symbols<ret>"
|
|
||||||
map -docstring "Lines" global fuzzy-match-menu l ": peneira-lines<ret>"
|
|
||||||
map -docstring "Lines in the current directory" global fuzzy-match-menu g ": peneira-grep<ret>"
|
|
||||||
map -docstring "Files in project" global fuzzy-match-menu f ": peneira-files<ret>"
|
|
||||||
map -docstring "Files in currently opening file's directory" global fuzzy-match-menu F ": peneira-local-files<ret>"
|
|
||||||
|
|
||||||
# Bind menu to user mode
|
|
||||||
map -docstring "Fuzzy matching" global user f ": enter-user-mode fuzzy-match-menu<ret>"
|
|
||||||
'';
|
|
||||||
}
|
}
|
||||||
|
|
||||||
|
# A peneira menu
|
||||||
|
declare-user-mode fuzzy-match-menu
|
||||||
|
|
||||||
|
map -docstring "Switch to buffer" global fuzzy-match-menu b ": peneira-buffers<ret>"
|
||||||
|
map -docstring "Symbols" global fuzzy-match-menu s ": peneira-symbols<ret>"
|
||||||
|
map -docstring "Lines" global fuzzy-match-menu l ": peneira-lines<ret>"
|
||||||
|
map -docstring "Lines in the current directory" global fuzzy-match-menu g ": peneira-grep<ret>"
|
||||||
|
map -docstring "Files in project" global fuzzy-match-menu f ": peneira-files<ret>"
|
||||||
|
map -docstring "Files in currently opening file's directory" global fuzzy-match-menu F ": peneira-local-files<ret>"
|
||||||
|
|
||||||
|
# Bind menu to user mode
|
||||||
|
map -docstring "Fuzzy matching" global user f ": enter-user-mode fuzzy-match-menu<ret>"
|
||||||
|
'';
|
||||||
|
}
|
||||||
|
{
|
||||||
|
name = "kakoune-focus";
|
||||||
|
src = pkgs.fetchFromGitHub {
|
||||||
|
owner = "caksoylar";
|
||||||
|
repo = "kakoune-focus";
|
||||||
|
rev = "949c0557cd4c476822acfa026ca3c50f3d38a3c0";
|
||||||
|
sha256 = "sha256-ZV7jlLJQyL420YG++iC9rq1SMjo3WO5hR9KVvJNUiCs=";
|
||||||
|
};
|
||||||
|
activationScript = ''
|
||||||
|
map global user <space> ': focus-toggle<ret>' -docstring "toggle selections focus"
|
||||||
|
'';
|
||||||
|
}
|
||||||
|
{
|
||||||
|
name = "kakoune-inc-dec";
|
||||||
|
src = pkgs.fetchFromGitLab {
|
||||||
|
owner = "Screwtapello";
|
||||||
|
repo = "kakoune-inc-dec";
|
||||||
|
rev = "7bfe9c51";
|
||||||
|
sha256 = "0f33wqxqbfygxypf348jf1fiscac161wf2xvnh8zwdd3rq5yybl0";
|
||||||
|
};
|
||||||
|
}
|
||||||
|
{
|
||||||
|
name = "racket.kak";
|
||||||
|
src = (builtins.fetchTree {
|
||||||
|
type = "git";
|
||||||
|
url = "https://bitbucket.org/KJ_Duncan/kakoune-racket.kak.git";
|
||||||
|
rev = "e397042009b46916ff089d79166ec0e8ca813a18";
|
||||||
|
narHash = "sha256-IcxFmvG0jqpMCG/dT9crVRgPgMGKkic6xwrnW5z4+bc=";
|
||||||
|
}) + "/rc";
|
||||||
|
}
|
||||||
|
# {
|
||||||
|
# name = "kakoune-discord";
|
||||||
|
# src = (builtins.getFlake "github:natsukagami/kakoune-discord/03f95e40d6efd8fd3de7bca31653d43de2dcfc5f").packages.${pkgs.system}.kakoune-discord-rc + "/rc";
|
||||||
|
# }
|
||||||
|
rec {
|
||||||
|
name = "kakoune-mirror";
|
||||||
|
src = pkgs.fetchFromGitHub
|
||||||
{
|
{
|
||||||
name = "kakoune-focus";
|
owner = "Delapouite";
|
||||||
src = pkgs.fetchFromGitHub {
|
repo = "kakoune-mirror";
|
||||||
owner = "caksoylar";
|
rev = "5710635f440bcca914d55ff2ec1bfcba9efe0f15";
|
||||||
repo = "kakoune-focus";
|
sha256 = "sha256-uslx4zZhvjUylrPWvTOugsKYKKpF0EEz1drc1Ckrpjk=";
|
||||||
rev = "949c0557cd4c476822acfa026ca3c50f3d38a3c0";
|
} + "/mirror.kak";
|
||||||
sha256 = "sha256-ZV7jlLJQyL420YG++iC9rq1SMjo3WO5hR9KVvJNUiCs=";
|
wrapAsModule = true;
|
||||||
};
|
activationScript = ''
|
||||||
activationScript = ''
|
require-module ${name}
|
||||||
map global user <space> ': focus-toggle<ret>' -docstring "toggle selections focus"
|
|
||||||
'';
|
|
||||||
}
|
|
||||||
{
|
|
||||||
name = "kakoune-inc-dec";
|
|
||||||
src = pkgs.fetchFromGitLab {
|
|
||||||
owner = "Screwtapello";
|
|
||||||
repo = "kakoune-inc-dec";
|
|
||||||
rev = "7bfe9c51";
|
|
||||||
sha256 = "0f33wqxqbfygxypf348jf1fiscac161wf2xvnh8zwdd3rq5yybl0";
|
|
||||||
};
|
|
||||||
}
|
|
||||||
{
|
|
||||||
name = "racket.kak";
|
|
||||||
src = (builtins.fetchTree {
|
|
||||||
type = "git";
|
|
||||||
url = "https://bitbucket.org/KJ_Duncan/kakoune-racket.kak.git";
|
|
||||||
rev = "e397042009b46916ff089d79166ec0e8ca813a18";
|
|
||||||
narHash = "sha256-IcxFmvG0jqpMCG/dT9crVRgPgMGKkic6xwrnW5z4+bc=";
|
|
||||||
}) + "/rc";
|
|
||||||
}
|
|
||||||
# {
|
|
||||||
# name = "kakoune-discord";
|
|
||||||
# src = (builtins.getFlake "github:natsukagami/kakoune-discord/03f95e40d6efd8fd3de7bca31653d43de2dcfc5f").packages.${pkgs.system}.kakoune-discord-rc + "/rc";
|
|
||||||
# }
|
|
||||||
rec {
|
|
||||||
name = "kakoune-mirror";
|
|
||||||
src = pkgs.fetchFromGitHub
|
|
||||||
{
|
|
||||||
owner = "Delapouite";
|
|
||||||
repo = "kakoune-mirror";
|
|
||||||
rev = "5710635f440bcca914d55ff2ec1bfcba9efe0f15";
|
|
||||||
sha256 = "sha256-uslx4zZhvjUylrPWvTOugsKYKKpF0EEz1drc1Ckrpjk=";
|
|
||||||
} + "/mirror.kak";
|
|
||||||
wrapAsModule = true;
|
|
||||||
activationScript = ''
|
|
||||||
require-module ${name}
|
|
||||||
|
|
||||||
# Bind <a-w> to ${name}
|
# Bind <a-w> to ${name}
|
||||||
map global normal <a-w> ': enter-user-mode -lock mirror<ret>'
|
map global normal <a-w> ': enter-user-mode -lock mirror<ret>'
|
||||||
'';
|
'';
|
||||||
}
|
}
|
||||||
{
|
{
|
||||||
name = "unicode-math";
|
name = "unicode-math";
|
||||||
src = pkgs.fetchFromGitHub {
|
src = pkgs.fetchFromGitHub {
|
||||||
owner = "natsukagami";
|
owner = "natsukagami";
|
||||||
repo = "kakoune-unicode-math";
|
repo = "kakoune-unicode-math";
|
||||||
rev = "08dff25da2b86ee0b0777091992bc7fb28c3cb1d";
|
rev = "08dff25da2b86ee0b0777091992bc7fb28c3cb1d";
|
||||||
# sha256 = lib.fakeSha256;
|
# sha256 = lib.fakeSha256;
|
||||||
sha256 = "sha256-j0L1ARex1i2ma8sGLYwgkfAbh0jWKh/6QGHFaxPXIKc=";
|
sha256 = "sha256-j0L1ARex1i2ma8sGLYwgkfAbh0jWKh/6QGHFaxPXIKc=";
|
||||||
fetchSubmodules = true;
|
fetchSubmodules = true;
|
||||||
};
|
};
|
||||||
activationScript = ''
|
activationScript = ''
|
||||||
require-module unicode-math
|
require-module unicode-math
|
||||||
|
|
||||||
# Bind <c-s> to the menu
|
# Bind <c-s> to the menu
|
||||||
map global insert <c-s> '<a-;>: insert-unicode '
|
map global insert <c-s> '<a-;>: insert-unicode '
|
||||||
'';
|
'';
|
||||||
}
|
}
|
||||||
{
|
{
|
||||||
name = "kakoune-buffers";
|
name = "kakoune-buffers";
|
||||||
src = pkgs.fetchFromGitHub {
|
src = pkgs.fetchFromGitHub {
|
||||||
owner = "Delapouite";
|
owner = "Delapouite";
|
||||||
repo = "kakoune-buffers";
|
repo = "kakoune-buffers";
|
||||||
rev = "6b2081f5b7d58c72de319a5cba7bf628b6802881";
|
rev = "6b2081f5b7d58c72de319a5cba7bf628b6802881";
|
||||||
sha256 = "sha256-jOSrzGcLJjLK1GiTSsl2jLmQMPbPxjycR0pwF5t/eV0=";
|
sha256 = "sha256-jOSrzGcLJjLK1GiTSsl2jLmQMPbPxjycR0pwF5t/eV0=";
|
||||||
};
|
};
|
||||||
activationScript = ''
|
activationScript = ''
|
||||||
# Suggested hook
|
# Suggested hook
|
||||||
|
|
||||||
hook global WinDisplay .* info-buffers
|
hook global WinDisplay .* info-buffers
|
||||||
|
|
||||||
# Suggested mappings
|
# Suggested mappings
|
||||||
|
|
||||||
map global user b ':enter-buffers-mode<ret>' -docstring 'buffers…'
|
map global user b ':enter-buffers-mode<ret>' -docstring 'buffers…'
|
||||||
map global normal ^ ':enter-buffers-mode<ret>' -docstring 'buffers…'
|
map global normal ^ ':enter-buffers-mode<ret>' -docstring 'buffers…'
|
||||||
map global user B ':enter-user-mode -lock buffers<ret>' -docstring 'buffers (lock)…'
|
map global user B ':enter-user-mode -lock buffers<ret>' -docstring 'buffers (lock)…'
|
||||||
|
|
||||||
# Suggested aliases
|
# Suggested aliases
|
||||||
|
|
||||||
alias global bd delete-buffer
|
|
||||||
alias global bf buffer-first
|
|
||||||
alias global bl buffer-last
|
|
||||||
alias global bo buffer-only
|
|
||||||
alias global bo! buffer-only-force
|
|
||||||
'';
|
|
||||||
}
|
|
||||||
];
|
|
||||||
}
|
|
||||||
|
|
||||||
|
alias global bd delete-buffer
|
||||||
|
alias global bf buffer-first
|
||||||
|
alias global bl buffer-last
|
||||||
|
alias global bo buffer-only
|
||||||
|
alias global bo! buffer-only-force
|
||||||
|
'';
|
||||||
|
}
|
||||||
|
]
|
||||||
|
|
|
||||||
Loading…
Reference in a new issue