Skip to content

Instantly share code, notes, and snippets.

# https://dev.icinga.com/issues/11732
diff /usr/share/icinga/htdocs/js/menu.js.2016-12-13 /usr/share/icinga/htdocs/js/menu.js
10,18c10,21
< elem.prepend( img )
< .css( "cursor", "pointer" )
< .toggle( function() {
< img.attr('src', 'images/menu_more.gif');
< list.slideToggle("slow");
< }, function() {
# remove multiple blanks and tabs
cat in.txt | sed "s/[ \t][ ]*/ /g" > out.txt
# remove blanks from beginning
cat in.txt | sed 's/^[ \t]*//' > out.txt
# Comparing content of two files
comm -12 <(sort FILE1.txt) <(sort FILE2.txt)
# Split file to DVD-R size