diff options
Diffstat (limited to 'extensions/strip-device-nodes.configure')
-rw-r--r-- | extensions/strip-device-nodes.configure | 40 |
1 files changed, 40 insertions, 0 deletions
diff --git a/extensions/strip-device-nodes.configure b/extensions/strip-device-nodes.configure new file mode 100644 index 00000000..9f09b560 --- /dev/null +++ b/extensions/strip-device-nodes.configure @@ -0,0 +1,40 @@ +#!/bin/sh +# Copyright (C) 2015 Codethink Limited +# +# This program is free software; you can redistribute it and/or modify +# it under the terms of the GNU General Public License as published by +# the Free Software Foundation; version 2 of the License. +# +# This program is distributed in the hope that it will be useful, +# but WITHOUT ANY WARRANTY; without even the implied warranty of +# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the +# GNU General Public License for more details. +# +# You should have received a copy of the GNU General Public License along +# with this program; if not, write to the Free Software Foundation, Inc., +# 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301 USA. + +# See strip-device-nodes.configure.help for documentation. + +set -eu + +case "$STRIP_DEVICE_NODES" in + yes|Yes|YES|true|True|TRUE|1) + run=yes ;; + *) + run=no ;; +esac + +if [ "$run" = "yes" ]; then + echo "Stripping device nodes" + + root="$1" + + # Be VERY CAREFUL because this runs in the host system as root. + if [ "$(readlink -f $1)" = / ]; then + echo "Refusing to remove files from /, as a safety precausion." + exit 1 + fi + + rm -R "$1"/dev/* +fi |