https://github.com/micro-garden/pushd-plugin
A micro text editor pluging that provides shell-like pushd, popd, and dirs commands.
https://github.com/micro-garden/pushd-plugin
directory micro micro-editor micro-plugin plugin pushd shell stack terminal text-editor
Last synced: about 1 month ago
JSON representation
A micro text editor pluging that provides shell-like pushd, popd, and dirs commands.
- Host: GitHub
- URL: https://github.com/micro-garden/pushd-plugin
- Owner: micro-garden
- License: mit
- Created: 2025-08-03T09:40:28.000Z (10 months ago)
- Default Branch: main
- Last Pushed: 2025-08-19T09:08:35.000Z (10 months ago)
- Last Synced: 2025-10-25T15:15:24.155Z (7 months ago)
- Topics: directory, micro, micro-editor, micro-plugin, plugin, pushd, shell, stack, terminal, text-editor
- Language: Lua
- Homepage:
- Size: 9.77 KB
- Stars: 0
- Watchers: 0
- Forks: 0
- Open Issues: 0
-
Metadata Files:
- Readme: README.md
- License: LICENSE
Awesome Lists containing this project
README
# pushd Plugin for Micro
**pushd** is a plugin for the
[micro](https://micro-editor.github.io/) text editor that provides shell-like
`pushd`, `popd`, and `dirs` commands.
See [help/pushd.md](help/pushd.md) for more details.
## Installation
Place the plugin folder in `~/.config/micro/plug/pushd/`, or clone it
directly from the GitHub repository:
```sh
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)