Search Results for "erlang-plugin"

pushd is a shell utility (or shell snippet) that simplifies navigation in command-line environments by maintaining a stack of directories. Instead of manually changing directories, users can “push” into a new directory, automatically storing the current directory on a stack, then later “pop” back to it. This allows users to temporarily jump into deep folder hierarchies, do work, and then quickly return to previous contexts without needing to type long cd paths. The tool also supports listing...