#! /bin/bash
# Last edited on 2020-10-17 15:31:52 by jstolfi

target="$1"; shift

# Checks whether the current directory is ".../${target}"

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