$ dsh plugin --profile web add --allow-build=dsh-easyssh github:chenw2759-wq/dsh-IDE#path:packages/dsh-easysshRun 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