Showing the last saved plugin snapshot.
← Leaderboard / Sessions / Plugin
Dubai1210/dsh-session-delete
“Deletes a DSH session from the session menu, and lists the workspace files that session touched so you choose which…”
Star rank
#10391declared plugin rank
In Sessions
#1017category rank
Stars
0GitHub repository
Forks
0GitHub repository
Watchers
0GitHub subscribers
TL;DR
Deletes a DSH session from the session menu, and lists the workspace files that session touched so you choose which ones to remove with it. Deletion is permanent (no undo), and files written through shell commands are not tracked.
30 days of GitHub stars
+0 stars
+0% observed change
Oct 14Oct 28Nov 12
