Ir directamente a la información del producto
file_editor
Herramienta para crear, editar y eliminar archivos mediante comandos de CLI. Admite búsquedas con expresiones regulares y rangos de líneas arbitrarios, y conserva el estado de Git y las marcas. Mantiene la integridad de los archivos mediante escrituras atómicas y ofrece la posibilidad de deshacer cada operación. Utiliza esta herramienta para implementar cambios de código, actualizar documentación y realizar operaciones en el sistema de archivos del entorno de trabajo.
Guantes calefactables — Puntas de los dedos sensibles al tacto
Precio de oferta
€117,99
Precio habitual €239,99
Detalles

