wmake/wmakeCheckPwd

   1 #!/bin/sh
   2 #------------------------------------------------------------------------------
   3 # =========                 |
   4 # \\      /  F ield         | OpenFOAM: The Open Source CFD Toolbox
   5 #  \\    /   O peration     |
   6 #   \\  /    A nd           | Copyright held by original author
   7 #    \\/     M anipulation  |
   8 #------------------------------------------------------------------------------
   9 # License
  10 #     This file is part of OpenFOAM.
  11 #
  12 #     OpenFOAM is free software; you can redistribute it and/or modify it
  13 #     under the terms of the GNU General Public License as published by the
  14 #     Free Software Foundation; either version 2 of the License, or (at your
  15 #     option) any later version.
  16 #
  17 #     OpenFOAM is distributed in the hope that it will be useful, but WITHOUT
  18 #     ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
  19 #     FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General Public License
  20 #     for more details.
  21 #
  22 #     You should have received a copy of the GNU General Public License
  23 #     along with OpenFOAM; if not, write to the Free Software Foundation,
  24 #     Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA
  25 #
  26 # Script
  27 #     wmakeCheckPwd
  28 #
  29 # Description
  30 #     Check that the current working directory is equal to a particular
  31 #     target directory, resolving the absolute path as required
  32 #
  33 #------------------------------------------------------------------------------
  34 unset quietOpt
  35
  36 usage() {
  37     [ "$quietOpt" = true ] && exit 1
  38     exec 1>&2
  39     while [ "$#" -ge 1 ]; do echo "$1"; shift; done
  40     cat<<USAGE
  41
  42 usage: ${0##*/} [OPTION] dirName
  43
  44 options:
  45   -q | -quiet   suppress all normal output
  46
  47   Check that the current working directory is equal to a particular
  48   target directory, resolving the absolute path as required
  49
  50   Exit status 0 when the directories are identical
  51   Exit status 1 on error
  52
  53 USAGE
  54     exit 1
  55 }
  56
  57
  58 # parse options
  59 while [ "$#" -gt 0 ]
  60 do
  61     case "$1" in
  62     -h | -help)
  63         usage
  64         ;;
  65     -q | -quiet)
  66         quietOpt=true
  67         shift
  68         ;;
  69     -*)
  70         usage "unknown option: '$*'"
  71         ;;
  72     *)
  73         break
  74         ;;
  75     esac
  76 done
  77
  78
  79 [ "$#" -eq 1 ] || usage
  80 dirName="$1"
  81
  82
  83 # trivial checks first
  84 [ "$PWD" = "$dirName" ] && exit 0
  85
  86 [ -d "$dirName" ] || {
  87     [ "$quietOpt" = true ] || echo "Error: Directory does not exist $dirName"
  88     exit 1
  89 }
  90
  91
  92 # use /bin/pwd to get the absolute path (could be linked)
  93 thisDir=$(/bin/pwd)
  94 target=$(cd $dirName 2>/dev/null && /bin/pwd)
  95
  96 # okay
  97 [ "$thisDir" = "$target" ] && exit 0
  98
  99 # some other error
 100 [ "$quietOpt" = true ] || echo "Error: Current directory is not $dirName"
 101 exit 1
 102
 103 #------------------------------------------------------------------------------