#!/bin/sh ## live-build(7) - System Build Scripts ## 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="$(Echo 'mount /dev/pts')" HELP="" USAGE="${PROGRAM} {install|remove} [--force]" Arguments "${@}" # Reading configuration files Read_conffiles config/all config/common config/bootstrap config/system config/binary config/source Set_defaults # Requiring stage file Require_stagefile .build/config .build/bootstrap case "${1}" in install) Echo_message "Begin mounting /dev/pts..." # Checking stage file Check_stagefile .build/chroot_devpts # Checking lock file Check_lockfile .lock # Creating lock file Create_lockfile .lock # Creating mountpoint mkdir -p chroot/dev/pts # Mounting /dev/pts mount devpts-live -t devpts -o gid=5,mode=620 chroot/dev/pts || true # Creating stage file Create_stagefile .build/chroot_devpts ;; remove) Echo_message "Begin unmounting /dev/pts..." # Checking lock file Check_lockfile .lock # Creating lock file Create_lockfile .lock # 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 rm -f .build/chroot_devpts ;; *) Usage ;; esac