Showing the last saved plugin snapshot.

← Leaderboard / Sessions / Plugin
Last repository activity November 11, 2026 · Created November 9, 2026

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
#10391
declared plugin rank
In Sessions
#1017
category rank
Stars
0
GitHub repository
Forks
0
GitHub repository
Watchers
0
GitHub subscribers
Open on GitHub ↗
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