Je ne connaissais pas pushd et popd! Pas sûr de voir de use case mais il doit en avoir!
bash
cmds
shell
FoldFold allExpandExpand allAre you sure you want to delete this link?Are you sure you want to delete this tag?
The personal, minimalist, super fast, database-free, bookmarking service by the Shaarli community
