2022-01-25 11:26:06 +01:00
|
|
|
{ system }:
|
2022-02-22 21:52:01 +01:00
|
|
|
{ home-manager
|
2022-04-04 01:10:26 +02:00
|
|
|
|
|
|
|
# nixos stuff
|
2022-02-22 21:52:01 +01:00
|
|
|
, nixpkgs
|
|
|
|
, nixpkgs-unstable
|
|
|
|
, nixos-unstable
|
2022-04-04 01:10:26 +02:00
|
|
|
|
|
|
|
# easy-*
|
2022-02-22 21:52:01 +01:00
|
|
|
, easy-purescript-nix
|
|
|
|
, easy-dhall-nix
|
2022-04-04 01:10:26 +02:00
|
|
|
|
|
|
|
# fish plugins
|
2022-03-09 01:15:44 +01:00
|
|
|
, fish-plugin-z
|
|
|
|
, fish-theme-harleen
|
|
|
|
, fish-theme-agnoster
|
|
|
|
, fish-theme-dangerous
|
2022-04-04 01:10:26 +02:00
|
|
|
|
2022-03-09 01:15:44 +01:00
|
|
|
, oh-my-fish
|
2022-02-22 21:52:01 +01:00
|
|
|
, githubNvimTheme
|
2022-04-04 01:10:26 +02:00
|
|
|
|
|
|
|
# vim plugins
|
2022-03-09 19:44:21 +01:00
|
|
|
, vim-plugin-arpeggio
|
2022-04-04 01:10:26 +02:00
|
|
|
, vim-plugin-kmonad
|
|
|
|
|
|
|
|
# nvim plugins
|
|
|
|
, nvim-plugin-agda
|
|
|
|
, nvim-plugin-idris2
|
|
|
|
|
|
|
|
, telescope-file-browser-nvim # TODO: rename this one
|
2022-03-09 20:36:48 +01:00
|
|
|
, sddm-theme-chili
|
2022-02-22 21:52:01 +01:00
|
|
|
, ...
|
|
|
|
}: self: super:
|
|
|
|
# installs a vim plugin from git with a given tag / branch
|
|
|
|
let plugin = name: src: self.vimUtils.buildVimPluginFrom2Nix {
|
|
|
|
inherit name;
|
|
|
|
inherit src;
|
|
|
|
};
|
|
|
|
in
|
|
|
|
{
|
2022-01-30 20:19:35 +01:00
|
|
|
unstable = import nixpkgs-unstable {
|
|
|
|
inherit system;
|
|
|
|
config.allowUnfree = true;
|
|
|
|
config.allowBroken = true;
|
|
|
|
};
|
2022-01-25 11:00:09 +01:00
|
|
|
|
2022-01-30 20:19:35 +01:00
|
|
|
easy-purescript-nix = self.callPackage easy-purescript-nix { };
|
|
|
|
easy-dhall-nix = self.callPackage easy-dhall-nix { };
|
2022-01-25 11:00:09 +01:00
|
|
|
|
2022-03-08 22:26:20 +01:00
|
|
|
myFishPlugins = {
|
2022-03-09 01:15:44 +01:00
|
|
|
inherit oh-my-fish;
|
|
|
|
|
2022-03-08 22:26:20 +01:00
|
|
|
z = {
|
2022-03-09 01:15:44 +01:00
|
|
|
src = fish-plugin-z;
|
2022-03-08 22:26:20 +01:00
|
|
|
name = "z";
|
|
|
|
};
|
2022-01-25 11:00:09 +01:00
|
|
|
|
2022-03-08 22:26:20 +01:00
|
|
|
themes = {
|
|
|
|
agnoster = {
|
2022-03-09 01:15:44 +01:00
|
|
|
src = fish-theme-agnoster;
|
2022-03-08 22:26:20 +01:00
|
|
|
name = "agnoster";
|
|
|
|
};
|
2022-01-30 13:54:23 +01:00
|
|
|
|
2022-03-09 01:15:44 +01:00
|
|
|
dangerous = {
|
|
|
|
src = fish-theme-dangerous;
|
|
|
|
name = "dangerous";
|
|
|
|
};
|
2022-03-08 22:26:20 +01:00
|
|
|
|
2022-03-09 01:15:44 +01:00
|
|
|
harleen = {
|
|
|
|
src = fish-theme-harleen;
|
|
|
|
name = "harleen";
|
|
|
|
};
|
|
|
|
};
|
|
|
|
};
|
2022-03-08 22:26:20 +01:00
|
|
|
|
2022-02-22 21:52:01 +01:00
|
|
|
|
|
|
|
# Vim plugins
|
|
|
|
myVimPlugins = {
|
2022-03-10 20:59:18 +01:00
|
|
|
githubNvimTheme = githubNvimTheme;
|
|
|
|
|
2022-04-04 01:10:26 +02:00
|
|
|
telescope-file-browser-nvim = plugin "file_browser" telescope-file-browser-nvim;
|
|
|
|
agda-nvim = plugin "agda" nvim-plugin-agda;
|
|
|
|
idris2-nvim = plugin "idris" nvim-plugin-idris2;
|
2022-03-09 19:44:21 +01:00
|
|
|
arpeggio = plugin "arpeggio" vim-plugin-arpeggio;
|
2022-04-04 01:10:26 +02:00
|
|
|
kmonad-vim = plugin "kmonad-vim" vim-plugin-kmonad;
|
2022-02-22 21:52:01 +01:00
|
|
|
};
|
2022-03-09 20:36:48 +01:00
|
|
|
|
|
|
|
sddm-theme-chili = sddm-theme-chili;
|
2022-02-22 21:52:01 +01:00
|
|
|
}
|