pushd Plugin for Micro

pushd is a plugin for the micro text editor that provides shell-like pushd, popd, and dirs commands.

See help/pushd.md for more details.

Installation

Place the plugin folder in ~/.config/micro/plug/pushd/, or clone it directly from the GitHub repository:

mkdir -p ~/.config/micro/plug
git clone https://github.com/micro-garden/pushd-plugin ~/.config/micro/plug/pushd

Alternatively, this plugin is also available through the unofficial plugin channel:
https://github.com/micro-garden/unofficial-plugin-channel
You can install it by adding the channel and then using plugin install.

License

MIT.

Author

Aki Kareha (aki@kareha.org)