Search Results for "path-setting"

RichARCH is designed to be a Quick Simpler Path to Arch with automation and ricing options. * Just one command line to start the latest complete installer for Arch. One goal is to only use packages in the basic Arch Linux repos by default with the option to install some non-standard packages. Our hope is that this will help to make Arch Linux more approachable to individual and corporate users.

Make sure that CoqIDE (8.6 or newer) is installed and coqidetop or coqidetop.opt (coqtop for Coq versions before 8.9.0) is in your PATH. Also, make sure the python command is recognized on your machine. If not you can set up an alias for it e.g. python-is-python3 on Ubuntu. There are a number of convenience improvements over standard Jupyter notebook behavior that are implemented to support Coq-specific use cases.

...Scanning WAN networks In search of targets may take 10 to 15 minutes depending of your network connection, and will search In 1024 random hosts For the selected service/port, also the File 'brute.txt' may be edited to insert new entrys, or we can provide the full path to another dicionary File to be used In brute-forcing services. Additional tool settings can be configured just by editing 'settings' file (nano settings) before running the tool, settings like: use decoys (scanning WAN networks) OR spoof mac address (change mac address and ip address), can only be config before running the tool. ...

L_Pa is a project / collection of tools aimed at better integration and *performance* of Linux + Wine + jackd + Proaudio applications... L_pa accomplishes this by setting up a proper mix of kernel/software with low-latency/proaudio users _specifically in mind. So far the main components are; Custom version of the (rt-)linux kernel with a delta of patches, for linux proaudio usage. Custom version of Wine with a delta of patches to ensure Wine is ready for proaudio on the linux platform. It's also has various other improvements and bug fixes. ...

Driver module using rtc-driver allowing multiple users to use the real-time-clock. Each task opening the timer device gets its own image of the RTC. Except setting the RTC, all features can be used on a per task basis without frequency restriction.

DWIP is short for Disk Wiping and Imaging Tool. This tool is being built for Mississippi State Universities National Forensics Training Center for use on a live cd to give out to it's students.

Caracal Boot Loader (cboot) is a second stage boot loader which takes over from GRUB (or other multiboot compatible loader) and prepares the system for your higher-half kernel. It now also includes VESA mode setting support.

Frame Diverter is mainly used for setting up a bridge with Squid running on it and transparently caching Web traffic between the LAN and the router. It's beeing extended to allow forwarding frames to other machines. It also allows layer 3+ switching