#!/bin/sh

## live-build(7) - System Build Scripts
## Copyright (C) 2006-2013 Daniel Baumann <daniel@debian.org>
##
## 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 "${@}"

# Ensure that a system is built as root
lb testroot

# Reading configuration files
Read_conffiles config/all config/common config/bootstrap config/chroot 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 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