2014-09-16 14:37:14 +02:00
|
|
|
{stdenv, fetchFromGitHub}:
|
2014-09-13 23:31:35 +02:00
|
|
|
|
|
|
|
stdenv.mkDerivation rec {
|
2019-08-15 14:41:18 +02:00
|
|
|
pname = "bashmount";
|
2020-08-25 00:34:21 +02:00
|
|
|
version = "4.3.1";
|
2014-09-13 23:31:35 +02:00
|
|
|
|
2014-09-16 14:37:14 +02:00
|
|
|
src = fetchFromGitHub {
|
|
|
|
owner = "jamielinux";
|
|
|
|
repo = "bashmount";
|
|
|
|
rev = version;
|
2020-08-25 00:34:21 +02:00
|
|
|
sha256 = "0pqjaib0qiwjq0ral5yjz4iq8hpaj9mqkhlihgfz0xigcn9lxwpf";
|
2014-09-13 23:31:35 +02: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
|
|
|
|
'';
|
|
|
|
|
|
|
|
meta = with stdenv.lib; {
|
2020-04-01 03:11:51 +02:00
|
|
|
homepage = "https://github.com/jamielinux/bashmount";
|
2014-09-13 23:31:35 +02:00
|
|
|
description = "A menu-driven bash script for the management of removable media with udisks";
|
2014-09-26 23:44:29 +02:00
|
|
|
maintainers = [ maintainers.koral ];
|
2018-09-07 22:15:14 +02:00
|
|
|
license = licenses.gpl2;
|
2014-09-13 23:31:35 +02:00
|
|
|
platforms = platforms.all;
|
|
|
|
};
|
|
|
|
}
|