On 08/06/11 23:35, Roger Leigh wrote:
On Wed, Jun 08, 2011 at 11:24:53PM +0100, Philip Ashmore wrote:
Package: schroot
Version: 1.4.22-1
Severity: normal
I had to modify my .bashrc to use SCHROOT_CHROOT_NAME instead of debian_chroot.
Since this is Debian, it should be compatible.
We certainly do still use the debian_chroot file:
I'm talking about the environment variable - PS1 references it, allowing the
prompt to
let you know if you're in a (s)chroot.
/etc/schroot/setup.d/50chrootname is present. How can I tell if it's modified?
Here it is<<EOF
#!/bin/sh
# Copyright © 2005-2008 Roger Leigh<[email protected]>
#
# schroot 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, either version 3 of the License, or
# (at your option) any later version.
#
# schroot 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, see
#<http://www.gnu.org/licenses/>.
#
#####################################################################
set -e
. "$SETUP_DATA_DIR/common-data"
. "$SETUP_DATA_DIR/common-functions"
if [ -f "$CHROOT_SCRIPT_CONFIG" ]; then
. "$CHROOT_SCRIPT_CONFIG"
elif [ "$STATUS" = "ok" ]; then
fatal "script-config file '$CHROOT_SCRIPT_CONFIG' does not exist"
fi
if [ $STAGE = "setup-start" ] || [ $STAGE = "setup-recover" ]; then
info "Setting chroot name to ${CHROOT_NAME}"
echo "${CHROOT_NAME}"> "${CHROOT_PATH}/etc/debian_chroot"
fi
EOF
I don't see any /etc/debian_chroot file inside or outside the schroot.
When inside a schroot, echo "[$CHROOT_NAME]" echoes "[]", only
SCHROOT_CHROOT_NAME is set.
I did notice my schroots (squeeze32 and squeeze64) mentioned on-screen at boot
time,
but I cannot find the messages in /var/log/messages.
Philip
--
To UNSUBSCRIBE, email to [email protected]
with a subject of "unsubscribe". Trouble? Contact [email protected]
