diff options
author | Javier Jardón <jjardon@gnome.org> | 2016-10-12 08:24:16 +0000 |
---|---|---|
committer | Javier Jardón <jjardon@gnome.org> | 2016-10-12 08:24:35 +0000 |
commit | 36f7e4923ae5d03dd345d74f7fcade48c99a498d (patch) | |
tree | b4b91a6df40ca846422def1045fe20db464d7312 /extensions/strip-device-nodes.configure | |
parent | e3a0c6c3881728c0c1699ab1500fb1d3d488300c (diff) | |
download | definitions-36f7e4923ae5d03dd345d74f7fcade48c99a498d.tar.gz |
Revert "Add ostree.write deployment extension"
Deployment of the minimal system broke after applying this
This reverts commit 5bca5fc3e8215601d1e2d33ce31f6a41c4bcfcc9.
Change-Id: Ibbc7cd24e10adec207ccb9848985c301974dca6b
Diffstat (limited to 'extensions/strip-device-nodes.configure')
-rw-r--r-- | extensions/strip-device-nodes.configure | 40 |
1 files changed, 0 insertions, 40 deletions
diff --git a/extensions/strip-device-nodes.configure b/extensions/strip-device-nodes.configure deleted file mode 100644 index 9f09b560..00000000 --- a/extensions/strip-device-nodes.configure +++ /dev/null @@ -1,40 +0,0 @@ -#!/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 |