#! /bin/bash
# Last edited on 2020-10-09 14:07:34 by jstolfi

target="$1"; shift

obj="${target}"
cur="${PWD}"

while [[ "/${obj}" != "/" ]]; do
  tobj="${obj##*/}"
  tcur="${cur##*/}"
  if [[ "/${tobj}" != "/${tcur}" ]]; then
    echo "** wrong directory, should be in */${target}" 1>&2 ; exit 1
  fi
  obj="${obj%${tobj}}";  
  cur="${cur%${tcur}}"; 
  #echo "${obj}" "${cur}" 1>&2 
  obj="${obj%/}"
  cur="${cur%/}"
  #echo "${obj}" "${cur}" 1>&2 
done