Ask before you close GitHub or VS Codespaces
< CodeSpaces Close Confirmation 피드백으로 돌아가기
Could you consider adding *.vscode.dev to the script?
*.vscode.dev
Also, ViolentMonkey does not like the match pattern for github.dev. It gives the following error message:
github.dev
Bad pattern: missing "/" for path in https://*.github.dev https://violentmonkey.github.io/api/matching/
It wants a trailing /* after the tld. Changing the match pattern to the example below makes ViolentMonkey happy and the script work.
/*
// @match https://*.github.dev/*
답글을 게시하려면 로그인하세요.
Could you consider adding
*.vscode.devto the script?Also, ViolentMonkey does not like the match pattern for
github.dev. It gives the following error message:It wants a trailing
/*after the tld. Changing the match pattern to the example below makes ViolentMonkey happy and the script work.