Search Results for "gnu make"

phpFileManager is a complete filesystem management tool on a single file. A server administration tool using PHP, meant for rapid file access, and also to verify the server configuration and security. The script can be renamed and deployed on an unique known url, and offers password protection.. All dependencies, like images, js and css files, are included inside the same file, so that the script can run even on offline devices, like a local Raspberry Pi, or ESP32 microcontroller. The...

.... -- Features -- - Full MinGW and GTK SDKs Autocomplete.(190+) - Do system scripting (bash, applescript, cmd, powershell, perl, j/vbscript, awk) - Examine all sorts of data files (sql, regedit, mib, xml, yaml, json, vcard ...) - Review difference and patch files - Create makefiles (gnu make / cmake) - Edit html, css and config files (with calltips) - Describe circuits in vhdl and spice. ... - And finally; read & write source code: - [ Syntax highlighted ] - go, vala, pike, swift, flash, ch, rust - [ Calltip assisted ] - c/cpp11, js&jQuery, python, php, ruby, lua, c#, java, perl --Others-- - Restructured config files with inline docs - Scriptable via lua Extension...