1
0
mirror of https://git.FreeBSD.org/ports.git synced 2024-11-27 00:57:50 +00:00

Add splashsetter, a tool to change your GNOME splash screen with a GUI, or

do it randomly.

PR:		61446
Submitted by:	Franz Klammer <klammer@webonaut.com>
This commit is contained in:
Joe Marcus Clarke 2004-01-17 07:00:22 +00:00
parent 9273e0df2b
commit bc28ed90ad
Notes: svn2git 2021-03-31 03:12:20 +00:00
svn path=/head/; revision=98373
5 changed files with 67 additions and 0 deletions

View File

@ -88,6 +88,7 @@
SUBDIR += rox-memo
SUBDIR += rubrica
SUBDIR += sliderule
SUBDIR += splashsetter
SUBDIR += superkaramba
SUBDIR += teapot
SUBDIR += tuxcards

View File

@ -0,0 +1,43 @@
# New ports collection makefile for: splashsetter
# Date created: 15 Januar 2004
# Whom: Franz Klammer <klammer@webonaut.com>
#
# $FreeBSD$
#
PORTNAME= splashsetter
PORTVERSION= 0.6.1
CATEGORIES= deskutils gnome
MASTER_SITES= http://webonaut.com/distfiles/${PORTNAME}/
MAINTAINER= klammer@webonaut.com
COMMENT= Splash screen changer for GNOME
USE_BZIP2= yes
USE_X_PREFIX= yes
USE_REINPLACE= yes
USE_PYTHON= yes
USE_GNOME= pygnome2
do-build:
@${REINPLACE_CMD} -e 's|/usr/X11R6|${X11BASE}|g' \
${WRKSRC}/*.py
@${FIND} ${WRKSRC} -name '*.bak' -delete
@${PYTHON_CMD} ${PYTHON_LIBDIR}/compileall.py ${WRKSRC}
@${PYTHON_CMD} -O ${PYTHON_LIBDIR}/compileall.py ${WRKSRC}
do-install:
${MKDIR} ${X11BASE}/share/gnome/pixmaps/${PORTNAME}
${MKDIR} ${X11BASE}/libexec/${PORTNAME}
@${INSTALL_SCRIPT} ${WRKSRC}/${PORTNAME} \
${X11BASE}/libexec/${PORTNAME}/
@${INSTALL_DATA} ${WRKSRC}/*.py* \
${X11BASE}/libexec/${PORTNAME}/
@${INSTALL_DATA} ${WRKSRC}/${PORTNAME}.desktop \
${X11BASE}/share/gnome/applications/
@${INSTALL_DATA} ${WRKSRC}/*.svg \
${X11BASE}/share/gnome/pixmaps/${PORTNAME}/
@${LN} -sf ${X11BASE}/libexec/${PORTNAME}/${PORTNAME} \
${X11BASE}/bin/${PORTNAME}
.include <bsd.port.mk>

View File

@ -0,0 +1 @@
MD5 (splashsetter-0.6.1.tar.bz2) = 53d8b6969f7f76d72ae1fb7396ebf0c8

View File

@ -0,0 +1,6 @@
There are so many nice splash screens available but it's bothering to always
change them manually on GConf. With Splashsetter you can change your splash
screen with a GUI or randomly if called from the commandline with the
parameter "--random".
WWW: http://webonaut.com/splashsetter/

View File

@ -0,0 +1,16 @@
bin/splashsetter
libexec/splashsetter/div_data.py
libexec/splashsetter/div_data.pyc
libexec/splashsetter/div_data.pyo
libexec/splashsetter/splash_set_lib.py
libexec/splashsetter/splash_set_lib.pyc
libexec/splashsetter/splash_set_lib.pyo
libexec/splashsetter/splash_set_gui_lib.py
libexec/splashsetter/splash_set_gui_lib.pyc
libexec/splashsetter/splash_set_gui_lib.pyo
libexec/splashsetter/splashsetter
share/gnome/applications/splashsetter.desktop
share/gnome/pixmaps/splashsetter/splashsetter_icon.svg
share/gnome/pixmaps/splashsetter/splashsetter_logo.svg
@dirrm share/gnome/pixmaps/splashsetter
@dirrm libexec/splashsetter