#!/bin/sh ## live-build(7) - System Build Scripts ## Copyright (C) 2016-2020 The Debian Live team ## Copyright (C) 2006-2015 Daniel Baumann ## ## This program comes with ABSOLUTELY NO WARRANTY; for details see COPYING. ## This is free software, and you are welcome to redistribute it ## under certain conditions; see COPYING for details. set -e # Including common functions [ -e "${LIVE_BUILD}/scripts/build.sh" ] && . "${LIVE_BUILD}/scripts/build.sh" || . /usr/lib/live/build.sh # Setting static variables DESCRIPTION="Mount /dev/pts" USAGE="${PROGRAM} {install|remove} [--force]" # Processing arguments and configuration files Init_config_data "${@}" # Requiring stage file Require_stagefiles config bootstrap case "${1}" in install) Echo_message "Begin mounting /dev/pts..." # Checking stage file Check_stagefile # Acquire lock file Acquire_lockfile # Creating mountpoint mkdir -p chroot/dev/pts # Mounting /dev/pts mount -t devpts -o gid=5,mode=620,x-gvfs-hide devpts-live chroot/dev/pts || true # Creating stage file Create_stagefile ;; remove) Echo_message "Begin unmounting /dev/pts..." # Acquire lock file Acquire_lockfile # Unmounting /dev/pts if grep -qs "$(pwd)/chroot/dev/pts" /proc/mounts || Find_files chroot/dev/pts/* then umount chroot/dev/pts else umount -f chroot/dev/pts > /dev/null 2>&1 || true fi # Removing stage file Remove_stagefile ;; *) Usage ;; esac