Jump to navigation Jump to search
- 01:21, 8 April 2016 +150 Zsh →Configuring $PATH: Changed filename to .zshrc from .zshenv as stated at '#Configuration Files' on this exact same page.
- 22:24, 7 January 2016 +64 PulseAudio Added command to mute/unmute builtin microphone to keyboard volume controls
- 20:45, 14 July 2015 +463 GRUB/Tips and tricks Added information about the '--unrestricted' grub menu entry switch which allows a user to boot while preventing editing of the menu entry.
- 23:49, 25 November 2014 +502 Resilio Sync Outdated instructions: '.SyncIgnore' file was changed to 'IgnoreList' in the '.sync' folder
- 03:36, 16 October 2014 0 m NetworkManager Corrected 'replace the discovered DHCP servers with the OpenDNS ones' to 'replace the DHCP discovered servers with the OpenDNS ones'
- 18:34, 10 October 2014 +159 Readline Added a macro for sudo that won't immediately run your command with elevated privileges.
- 18:02, 10 October 2014 +110 Home and End keys not working Added configuration details for tmux