$ dsh plugin --profile web add github:gao-gao-zai/BetterShell#path:packages/better-shell-toolsRun the command above in your terminal to install this plugin via the dsh CLI. You can switch Profile in the top-right corner. New to dsh? Read the beginner tutorial