Guest User

Untitled

a guest
Jan 22nd, 2019
82
0
Never
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
text 0.13 KB | None | 0 0
  1. read -p "Path to file: " p
  2. dirn=$(dirname "$p")
  3. file=$(basename "$p")
  4. echo "dirn=$dirn, file=$file"
  5. cd "$dirn"
  6. ls -ld "$file"
Add Comment
Please, Sign In to add comment