•String dirname =
"";
•Directory d =
sh.getUser().getHome();
•if
( args.hasMoreTokens() ) {
• dirname = args.nextToken();
• if (dirname.equals("..")) {
• if (sh.getDot().isRoot())
• d = sh.getDot(); // no change
• else
• d = sh.getDot().getParent();
• }
• else if
(dirname.equals("."))
• d = sh.getDot(); // no change
• else
• d = (Directory)sh.getDot().
• retrieveJFile(dirname));
•
}
•
sh.setDot( d );