1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
|
{ pkgs, fetchFromGitHub, stdenv, gtk3, udev, desktop_file_utils
, shared_mime_info, intltool, pkgconfig, wrapGAppsHook, ffmpegthumbnailer
, jmtpfs, ifuse, lsof, udisks, hicolor_icon_theme, adwaita-icon-theme }:
stdenv.mkDerivation rec {
name = "spacefm-${version}";
version = "1.0.5";
src = fetchFromGitHub {
owner = "IgnorantGuru";
repo = "spacefm";
rev = "${version}";
sha256 = "06askkrwls09d1x382zjrmnvcm0ghfgz4cms2qbhdkazfyy0ff65";
};
configureFlags = [
"--with-bash-path=${pkgs.bash}/bin/bash"
];
preConfigure = ''
configureFlags="$configureFlags --sysconfdir=$out/etc"
'';
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
wrapGAppsHook ffmpegthumbnailer jmtpfs ifuse lsof udisks
];
meta = with stdenv.lib; {
description = "A multi-panel tabbed file manager";
longDescription = ''
Multi-panel tabbed file and desktop manager for Linux
with built-in VFS, udev- or HAL-based device manager,
customizable menu system, and bash integration
'';
homepage = http://ignorantguru.github.io/spacefm/;
platforms = platforms.linux;
license = licenses.gpl3Plus;
maintainers = with maintainers; [ jagajaga obadz ];
};
}
|