Viewing profile — mjg123
mjg123
HN member- Joined
- Thu, Feb 18, 2021, 3:01 PM UTC
- HN karma
- 2
- Public activity
- 1 items
- HN profile
- View on Hacker News ↗
About mjg123
No profile information was provided.
Recent public activity
-
comment
Comment #26180601
It's a feature of the zsh line editor called "push-line". http://zsh.sourceforge.net/Doc/Release/Zsh-Line-Editor.html