diff options
| author | Danny Rawlins <monster.romster@gmail.com> | 2016-07-30 14:10:54 +1000 |
|---|---|---|
| committer | Danny Rawlins <monster.romster@gmail.com> | 2016-07-30 14:10:54 +1000 |
| commit | 5dcc9fe8359d6d443e03a3bfd3a22df92a5c49d0 (patch) | |
| tree | 85b936f185f8ba1a0db3bfdfb5eb0de8569af765 /pcmanfm | |
| parent | 80c81a69c66e8098e93719d29f47759ee7138f1e (diff) | |
| download | contrib-5dcc9fe8359d6d443e03a3bfd3a22df92a5c49d0.tar.gz contrib-5dcc9fe8359d6d443e03a3bfd3a22df92a5c49d0.tar.xz | |
Revert "pcmanfm: dropped unmaintained and broken port"
This reverts commit 80c81a69c66e8098e93719d29f47759ee7138f1e.
Diffstat (limited to 'pcmanfm')
| -rw-r--r-- | pcmanfm/.footprint | 26 | ||||
| -rw-r--r-- | pcmanfm/.md5sum | 1 | ||||
| -rw-r--r-- | pcmanfm/Pkgfile | 17 | ||||
| -rwxr-xr-x | pcmanfm/post-install | 4 |
4 files changed, 48 insertions, 0 deletions
diff --git a/pcmanfm/.footprint b/pcmanfm/.footprint new file mode 100644 index 000000000..643c50435 --- /dev/null +++ b/pcmanfm/.footprint @@ -0,0 +1,26 @@ +drwxr-xr-x root/root etc/ +drwxr-xr-x root/root etc/xdg/ +drwxr-xr-x root/root etc/xdg/pcmanfm/ +drwxr-xr-x root/root etc/xdg/pcmanfm/default/ +-rw-r--r-- root/root etc/xdg/pcmanfm/default/pcmanfm.conf +drwxr-xr-x root/root usr/ +drwxr-xr-x root/root usr/bin/ +-rwxr-xr-x root/root usr/bin/pcmanfm +drwxr-xr-x root/root usr/include/ +-rw-r--r-- root/root usr/include/pcmanfm-modules.h +drwxr-xr-x root/root usr/lib/ +drwxr-xr-x root/root usr/lib/pcmanfm/ +drwxr-xr-x root/root usr/share/ +drwxr-xr-x root/root usr/share/applications/ +-rw-r--r-- root/root usr/share/applications/pcmanfm-desktop-pref.desktop +-rw-r--r-- root/root usr/share/applications/pcmanfm.desktop +drwxr-xr-x root/root usr/share/man/ +drwxr-xr-x root/root usr/share/man/man1/ +-rw-r--r-- root/root usr/share/man/man1/pcmanfm.1.gz +drwxr-xr-x root/root usr/share/pcmanfm/ +drwxr-xr-x root/root usr/share/pcmanfm/ui/ +-rw-r--r-- root/root usr/share/pcmanfm/ui/about.ui +-rw-r--r-- root/root usr/share/pcmanfm/ui/autorun.ui +-rw-r--r-- root/root usr/share/pcmanfm/ui/connect.ui +-rw-r--r-- root/root usr/share/pcmanfm/ui/desktop-pref.ui +-rw-r--r-- root/root usr/share/pcmanfm/ui/pref.ui diff --git a/pcmanfm/.md5sum b/pcmanfm/.md5sum new file mode 100644 index 000000000..8f3926e92 --- /dev/null +++ b/pcmanfm/.md5sum @@ -0,0 +1 @@ +c993402d407b0a3fc076f842ac1bc5c9 pcmanfm-1.2.3.tar.xz diff --git a/pcmanfm/Pkgfile b/pcmanfm/Pkgfile new file mode 100644 index 000000000..dee32241f --- /dev/null +++ b/pcmanfm/Pkgfile @@ -0,0 +1,17 @@ +# Description: fast and lightweight file manager +# URL: http://pcmanfm.sourceforge.net/ +# Maintainer: James Mills, prologic at shortcircuit dot net dot au +# Depends on: libfm desktop-file-utils shared-mime-info + +name=pcmanfm +version=1.2.3 +release=1 +source=(http://downloads.sourceforge.net/$name/$name-$version.tar.xz) + +build() { + cd $name-$version + ./configure --prefix=/usr --sysconfdir=/etc + make + make DESTDIR=$PKG install + rm -rf $PKG/usr/share/locale +} diff --git a/pcmanfm/post-install b/pcmanfm/post-install new file mode 100755 index 000000000..116d78b52 --- /dev/null +++ b/pcmanfm/post-install @@ -0,0 +1,4 @@ +#!/bin/bash + +update-mime-database /usr/share/mime +update-desktop-database |