webian

$(document).ready(function() {

	// Move language menu to main menu
	var languageMenu = $( "#language_menu" );
	if (languageMenu.length > 0) {
		// add icon to toggle language menu to main menu
		var mainMenu = $( ".navbar-main" );
		mainMenu.append('<li class="dropdown language-menu-toggle"><a href="#" class="dropdown-toggle" data-toggle="dropdown" aria-expanded="false"><span class="glyphicon glyphicon-globe"></span></a></li>');

		// move language menu to main menu (inside language menu toggle)

webian

curldiff( ) {
  template="/tmp/curldiff-XXXXXXXX"
  file1=$(mktemp $template)
  file2=$(mktemp $template)
  echo "Loading $1"
  curl -# -L -o $file1 $1
  echo "Loading $2"
  curl -# -L -o $file2 $2
  meld $file1 $file2
  rm $file1 $file2