Greasemonkey: WebExt: Soporte de editor externo (directorio de extensión de lectura/escritura)

Creado en 5 jun. 2017  ·  5Comentarios  ·  Fuente: greasemonkey/greasemonkey

La API de tiempo de ejecución proporciona varias formas de leer archivos del directorio de extensiones, por lo que lo que queda por explorar es cómo escribir archivos en el directorio de extensiones.

Creo que vale la pena explorar si runtime#getPackageDirectoryEntry y fileSystem#getWritableEntry pueden usarse para escribir archivos en el directorio de extensiones, pero me temo que el sistema de permisos podría interferir.

Comentario más útil

Todos 5 comentarios

Resulta que fileSystem no está disponible para extensiones, solo para aplicaciones. Por lo tanto, con una API de solo lectura, es posible que aún sea posible implementar la compatibilidad con el editor, pero cosas como la actualización automática no serán posibles.

Esto es efectivamente imposible. Lo único que puedo imaginar es usar mensajes nativos y un binario local escrito personalizado. Será mucho trabajo, en el mejor de los casos.

@yfdyh000 ¡ Gracias, eso es increíblemente útil! Ni siquiera pensé en ejecutar python -m http.server para servir mi carpeta de script de usuario en localhost mientras los editaba. Ahora son solo dos clics y ~3 segundos de retraso entre ellos para volver a cargar un script desde el disco.

El único paso que falta para que sea realmente conveniente es la función Violentmonkey mencionada en el artículo: una casilla de verificación en la página "Instalar script" de GM para monitorear el archivo en lugar de cerrarlo después de la instalación. Incluso simplemente mantener esa página de instalación abierta en lugar de cerrarla después de presionar Instalar sería increíble.

¿Fue útil esta página
0 / 5 - 0 calificaciones