2016-07-01 17:40:21 +02:00
|
|
|
{ pkgs, fetchFromGitHub, stdenv, gtk3, udev, desktop_file_utils
|
|
|
|
, shared_mime_info, intltool, pkgconfig, wrapGAppsHook, ffmpegthumbnailer
|
2017-02-26 19:27:52 +01:00
|
|
|
, jmtpfs, ifuseSupport ? false, ifuse ? null, lsof, udisks, hicolor_icon_theme, adwaita-icon-theme }:
|
2014-01-11 14:38:06 +01:00
|
|
|
|
2015-05-05 01:58:33 +02:00
|
|
|
stdenv.mkDerivation rec {
|
2014-01-18 11:39:30 +01:00
|
|
|
name = "spacefm-${version}";
|
2016-03-29 15:15:21 +02:00
|
|
|
version = "1.0.5";
|
2014-01-11 14:38:06 +01:00
|
|
|
|
2015-11-21 17:50:32 +01:00
|
|
|
src = fetchFromGitHub {
|
|
|
|
owner = "IgnorantGuru";
|
|
|
|
repo = "spacefm";
|
|
|
|
rev = "${version}";
|
2016-03-29 15:15:21 +02:00
|
|
|
sha256 = "06askkrwls09d1x382zjrmnvcm0ghfgz4cms2qbhdkazfyy0ff65";
|
2014-01-11 14:38:06 +01:00
|
|
|
};
|
|
|
|
|
2015-05-05 01:58:33 +02:00
|
|
|
configureFlags = [
|
|
|
|
"--with-bash-path=${pkgs.bash}/bin/bash"
|
|
|
|
];
|
|
|
|
|
2015-11-21 17:50:32 +01:00
|
|
|
preConfigure = ''
|
|
|
|
configureFlags="$configureFlags --sysconfdir=$out/etc"
|
2014-01-18 11:39:30 +01:00
|
|
|
'';
|
2014-01-11 14:38:06 +01:00
|
|
|
|
2016-07-01 17:40:21 +02:00
|
|
|
postInstall = ''
|
|
|
|
rm -f $out/etc/spacefm/spacefm.conf
|
|
|
|
ln -s /etc/spacefm/spacefm.conf $out/etc/spacefm/spacefm.conf
|
|
|
|
'';
|
|
|
|
|
|
|
|
buildInputs = [
|
|
|
|
gtk3 udev desktop_file_utils shared_mime_info intltool pkgconfig
|
2017-02-26 19:27:52 +01:00
|
|
|
wrapGAppsHook ffmpegthumbnailer jmtpfs lsof udisks
|
|
|
|
] ++ (if ifuseSupport then [ ifuse ] else []);
|
|
|
|
# Introduced because ifuse doesn't build due to CVEs in libplist
|
|
|
|
# Revert when libplist builds again…
|
2015-11-21 17:50:32 +01:00
|
|
|
|
2015-05-05 01:58:33 +02:00
|
|
|
meta = with stdenv.lib; {
|
|
|
|
description = "A multi-panel tabbed file manager";
|
2015-11-21 17:50:32 +01:00
|
|
|
longDescription = ''
|
|
|
|
Multi-panel tabbed file and desktop manager for Linux
|
2015-05-05 01:58:33 +02:00
|
|
|
with built-in VFS, udev- or HAL-based device manager,
|
|
|
|
customizable menu system, and bash integration
|
2015-11-21 17:50:32 +01:00
|
|
|
'';
|
2015-05-05 01:58:33 +02:00
|
|
|
homepage = http://ignorantguru.github.io/spacefm/;
|
|
|
|
platforms = platforms.linux;
|
2016-07-01 17:40:21 +02:00
|
|
|
license = licenses.gpl3Plus;
|
2015-11-21 17:50:32 +01:00
|
|
|
maintainers = with maintainers; [ jagajaga obadz ];
|
2014-01-11 14:38:06 +01:00
|
|
|
};
|
|
|
|
}
|