2021-01-11 07:54:33 +00:00
|
|
|
{lib, stdenv, fetchFromGitHub}:
|
2014-09-13 22:31:35 +01:00
|
|
|
|
|
|
|
stdenv.mkDerivation rec {
|
2019-08-15 13:41:18 +01:00
|
|
|
pname = "bashmount";
|
2020-09-24 19:38:27 +01:00
|
|
|
version = "4.3.2";
|
2014-09-13 22:31:35 +01:00
|
|
|
|
2014-09-16 13:37:14 +01:00
|
|
|
src = fetchFromGitHub {
|
|
|
|
owner = "jamielinux";
|
|
|
|
repo = "bashmount";
|
|
|
|
rev = version;
|
2020-09-24 19:38:27 +01:00
|
|
|
sha256 = "1irw47s6i1qwxd20cymzlfw5sv579cw877l27j3p66qfhgadwxrl";
|
2014-09-13 22:31:35 +01:00
|
|
|
};
|
|
|
|
|
|
|
|
installPhase = ''
|
|
|
|
mkdir -p $out/bin
|
|
|
|
cp bashmount $out/bin
|
|
|
|
|
|
|
|
mkdir -p $out/etc
|
|
|
|
cp bashmount.conf $out/etc
|
|
|
|
|
|
|
|
mkdir -p $out/share/man/man1
|
|
|
|
gzip -c -9 bashmount.1 > bashmount.1.gz
|
|
|
|
cp bashmount.1.gz $out/share/man/man1
|
|
|
|
|
|
|
|
mkdir -p $out/share/doc/bashmount
|
|
|
|
cp COPYING $out/share/doc/bashmount
|
|
|
|
cp NEWS $out/share/doc/bashmount
|
|
|
|
'';
|
|
|
|
|
2021-01-11 07:54:33 +00:00
|
|
|
meta = with lib; {
|
2020-04-01 02:11:51 +01:00
|
|
|
homepage = "https://github.com/jamielinux/bashmount";
|
2014-09-13 22:31:35 +01:00
|
|
|
description = "A menu-driven bash script for the management of removable media with udisks";
|
2014-09-26 22:44:29 +01:00
|
|
|
maintainers = [ maintainers.koral ];
|
2018-09-07 21:15:14 +01:00
|
|
|
license = licenses.gpl2;
|
2014-09-13 22:31:35 +01:00
|
|
|
platforms = platforms.all;
|
|
|
|
};
|
|
|
|
}
|