From 229bfb6383c967e66d27104c04114e483c1d4643 Mon Sep 17 00:00:00 2001 From: Tim Biermann Date: Sun, 24 Sep 2023 09:32:53 +0200 Subject: [PATCH] pcmanfm: dropped unmaintained port --- pcmanfm/.footprint | 26 -------------------------- pcmanfm/.signature | 5 ----- pcmanfm/Pkgfile | 23 ----------------------- pcmanfm/post-install | 4 ---- 4 files changed, 58 deletions(-) delete mode 100644 pcmanfm/.footprint delete mode 100644 pcmanfm/.signature delete mode 100644 pcmanfm/Pkgfile delete mode 100755 pcmanfm/post-install diff --git a/pcmanfm/.footprint b/pcmanfm/.footprint deleted file mode 100644 index 643c50435..000000000 --- a/pcmanfm/.footprint +++ /dev/null @@ -1,26 +0,0 @@ -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/.signature b/pcmanfm/.signature deleted file mode 100644 index 80c7cda85..000000000 --- a/pcmanfm/.signature +++ /dev/null @@ -1,5 +0,0 @@ -untrusted comment: verify with /etc/ports/contrib.pub -RWSagIOpLGJF3/Qhy5SJA3d9PSHkIYoyb8E6mqB6BqBcC5BViejTFk5UDc3Ry/WLAXJpdKRxtWHWhLWZyOkSDEeT39+CWIn8dA4= -SHA256 (Pkgfile) = 0eb6f379f1cf45842569bb5001286734cdda3993b7eae2b6aa6d23b0a9eab58e -SHA256 (.footprint) = 2539c75df04262f0e3ee2ff05697b7c866a3d1b4db1b14bff10d806e2e6a5e76 -SHA256 (pcmanfm-1.3.2.tar.xz) = 14cb7b247493c4cce65fbb5902611e3ad00a7a870fbc1e50adc50428c5140cf7 diff --git a/pcmanfm/Pkgfile b/pcmanfm/Pkgfile deleted file mode 100644 index 72f31f351..000000000 --- a/pcmanfm/Pkgfile +++ /dev/null @@ -1,23 +0,0 @@ -# Description: Fast and lightweight file manager. -# URL: http://pcmanfm.sourceforge.net/ -# Maintainer: unmaintained -# Depends on: desktop-file-utils libfm -# Optional: gvfs udisks xarchiver - -name=pcmanfm -version=1.3.2 -release=1 -source=(https://downloads.sourceforge.net/$name/$name-$version.tar.xz) - -build() { - cd $name-$version - - ./configure \ - --prefix=/usr \ - --sysconfdir=/etc - - make - make DESTDIR=$PKG install - - rm -r $PKG/usr/share/locale -} diff --git a/pcmanfm/post-install b/pcmanfm/post-install deleted file mode 100755 index 116d78b52..000000000 --- a/pcmanfm/post-install +++ /dev/null @@ -1,4 +0,0 @@ -#!/bin/bash - -update-mime-database /usr/share/mime -update-desktop-database