☰

Github Web IDE

⚡ Open GitHub repositories in online web IDE (Migrated from https://github.com/zvizvi/GitHub-Web-IDE)

Autor
Cesaryuan
Instalações hoje
0
Total de instalações
89
Avaliações
0 0 0
Versão
2.0.3
Criado
17/11/2022
Atualizado
17/11/2022
Tamanho
53,4 KB
Licença
none
Aplicável a

Você também pode experimentar estes scripts relacionados:

  • 🏷️ UTags - Adicionar tags de usuário aos links - Melhore sua experiência de navegação adicionando tags personalizadas e notas a usuários, posts e vídeos na web. Perfeito para organizar conteúdo, identificar usuários e filtrar posts indesejados. Também funciona como uma ferramenta moderna de gerenciamento de favoritos. Suporta mais de 100 sites populares, incluindo X (Twitter), Reddit, Facebook, Instagram, YouTube, TikTok, GitHub, Hacker News, Greasy Fork, pixiv, Twitch e muitos outros.
  • GitHub downloader de pasta - Adicione um botão de download，Permite fácil download de arquivos específicos GitHub pasta。
  • 🤠 Tamanho de exibição do armazém do assistente aprimorado do Github - 🤠 Tamanho de exibição do armazém: na pesquisa de código do GitHub, pesquisa de armazém, página de problemas, lista de armazém do usuário e página de repositório, o tamanho do armazém será exibido ao lado do nome do armazém, permitindo aos usuários entender rapidamente a escala do armazém e otimizar seu seleção. Aviso de desenvolvimento inativo: se um repositório não tiver sido atualizado nos últimos seis meses, o sistema adicionará um prompt na parte superior do repositório para lembrar aos usuá
  • Github Copiar arquivo original URL com download de arquivos - Botão Adicionar no final de cada linha do arquivo，para copiar o arquivo original URL e baixar arquivos
  • GitHub Enviar informações exibir visualização da web - Este roteiro irá GitHub As informações de submissão em HTML visualizar，para ver os detalhes do envio com mais clareza。Ele enviará automaticamente a lista de informações、O cabeçalho do commit e as informações do commit mais recente são convertidos para HTML Formatar，Fornece melhores efeitos visuais e experiência do usuário。