From 81a6edf3726dbf201bc79edd19553d2d0172e3fb Mon Sep 17 00:00:00 2001 From: CyberLeo Date: Fri, 13 Jul 2012 07:40:35 -0500 Subject: [PATCH] j: ubuntu uses a different tag for special mounts in /proc/mounts --- j | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/j b/j index 0537024..ea86670 100755 --- a/j +++ b/j @@ -235,8 +235,8 @@ j_up() { jname="${1:-${jname}}" eval "$(j_params "${jname}")" [ "${jerror}" ] && wtf "${jerror}" - grep -q "^devpts ${jroot}/dev/pts devpts" /proc/mounts || return 1 - grep -q "^proc ${jroot}/proc proc" /proc/mounts || return 1 + grep -q "^[^ ]* ${jroot}/dev/pts devpts" /proc/mounts || return 1 + grep -q "^[^ ]* ${jroot}/proc proc" /proc/mounts || return 1 return 0 } -- 2.45.0