Trivial debian bootscript for selinuxfs on 2.6

[Dale Amon <amon@vnl.com>]

[-- Attachment #1: Type: text/plain, Size: 409 bytes --]

In case anyone might find it useful, or if it saves Colin
five minutes on his next release, here is the bootscript
I wrote to handle getting selinuxfs mounted on /.

I was undecided as to whether to actually have the
reload/restart or not, or even whether it made sense
to have a stop that dismounts selinuxfs. I'm agnostic
on it.

It should be linked into rcS.d as S0Selinux -> ../init.d/Selinux

So FWIW...

[-- Attachment #2: 20030916-etc_initd_Selinux --]
[-- Type: text/plain, Size: 695 bytes --]

#! /bin/sh
#
# Selinux	Mount the selinux fs.
#		Written by Dale Amon <amon@islandone.org>.
#
# Version:	@(#)Selinux  1.0.0  15-Sep-2003  amon@vnl.com
#

PATH=/sbin:/bin:/usr/sbin:/usr/bin
NAME=Selinux

set -e

case "$1" in
  start)
	echo -n "Mounting selinuxfs"
	mount -t selinuxfs none /selinux
	echo "."
	;;
  stop)
	echo -n "Unmounting selinuxfs"
	umount -t selinuxfs
	echo "."
	;;
  reload|restart|force-reload)
	echo -n "Restarting $DESC: $NAME"
	umount -t selinuxfs
	mount -t selinuxfs none /selinux
	echo "."
	;;
  *)
	N=/etc/init.d/$NAME
	# echo "Usage: $N {start|stop|restart|reload|force-reload}" >&2
	echo "Usage: $N {start|stop|restart|force-reload}" >&2
	exit 1
	;;
esac

exit 0