Search Results for "dash shell"

Adds a blur look to different parts of the GNOME Shell, including the top panel, dash and overview. If you use Ubuntu, you may want to change the radius of the corner effect for Dash-to-Dock in preferences, else you may see unpleasantly mixed radii in your dock.

Install, Accept, List, Remove and Set New, Current and Old linux kernels in the /boot directory. Inspired by the linux kernel "make install" target, and the /sbin/installkernel shell script. A profile "~/bootkernel.conf" or "/etc/bootkernel.conf" controls all aspects of bootkernel's behaviour - your chosen naming conventions, whether to maintain symbolic or hard links or neither, which filesystems (if any) need mounting and unmounting, and whether to delete redundant /lib/modules...

...SRCDB (util) is implemented as a shell-script for immediate availability. It is meant to be a personal tool for those who like to tweak software themselves.

DASH is a set of tools and utilities to automate the deployment and management of large-scale distributed software, and to monitor and manage the multiple environments that the software is deployed to. 100% compatible with bash.