2023-10-19 22:24:04 +02:00
|
|
|
final: prev: {
|
|
|
|
cmdtime = final.stdenv.mkDerivation {
|
|
|
|
name = "cmdtime";
|
|
|
|
version = "v0.0.0";
|
|
|
|
src = final.fetchFromGitHub {
|
|
|
|
owner = "tom-auger";
|
|
|
|
repo = "cmdtime";
|
|
|
|
rev = "ffc72641dcfa0ee6666ceb1dc712b61be30a1e8b";
|
|
|
|
hash = "sha256-v6wCfNoPXDD3sS6yUYE6lre8Ir1yJcLGoAW3O8sUOCg=";
|
|
|
|
};
|
|
|
|
|
|
|
|
installPhase = ''
|
|
|
|
mkdir -p $out/share/cmdtime
|
2023-10-19 23:02:17 +02:00
|
|
|
cp $src/cmdtime.plugin.zsh $out/share/cmdtime/cmdtime.plugin.zsh
|
2023-10-19 22:24:04 +02:00
|
|
|
'';
|
|
|
|
};
|
|
|
|
}
|