public marks

PUBLIC MARKS with tag linux

August 2014

July 2014

June 2014

Linux bash history with Page up / Page down |

by sylvainulg (via)
# alternate mappings for "page up" and "page down" to search the history "e[5~": history-search-backward "e[6~": history-search-forward NB: you might lose customization from /etc/inputrc if you just copy this as your .inputrc

Cheat Sheet For Locking

by sylvainulg
Avoid holding spinlock for more than 5 lines of code If you are in a process context (any syscall) and want to lock other process out, use a semaphore Table of Minimum Requirements

[ubuntu] Problem with volume control pulse audio not starting

by sylvainulg (via)
Got the issue this lunch. rebuilding alsa with module-assistant was simple and did the trick. I used mplayer -ao oss mod_of_the_week.ogg to validate my sound hardware was still working properly. The issue is most likely in pulseaudio: re-installing it afterwards killed alsa sound again.

May 2014

April 2014

sysdig - System Troubleshooting Tool

by dzc & 1 other
Sysdig is open source, system-level exploration: capture system state and activity from a running Linux instance, then save, filter and analyze. Think of it as strace + tcpdump + lsof + awesome sauce.

What is the best window manager for Linux? - awesome (tiling) - Slant

by sylvainulg (via)
Awesome was the first window manager to be ported to use the asynchronous XCB library instead of XLib, making it much more responsive than most other window managers.

March 2014

Zorin OS - Home

by jdrsantos
"Zorin OS is a multi-functional operating system designed specifically newcomers to Linux. It is based on Ubuntu which is the most popular desktop Linux operating system in the world. "

Blackmagic Decklink SDI and Linux | Stream #0

by sylvainulg (via)
The card was not recognised with this kernel [upgraded 2.6.39]. Booting [Mint Debian] into the original 2.6.32 kernel overcame this problem and the card was recognised.