hadisfr

#!/usr/bin/env bash

if [[ $# != 1 ]]; then
    echo -e "usage:\t$0 <url of Linux binary from https://jdk.java.net>"
    exit 1
fi

if [ $EUID != 0 ]; then
    sudo "$0" "$@"
    exit $?

hadisfr

; You need "xsel" program.

(defun x-paste ()
  "insert text on X11's clipboard to current buffer."
  (interactive)
  (insert (shell-command-to-string "xsel -b")))

(defun x-copy ()
  "copy text on local kill-ring to X11's clipboard."
  (interactive)

hadisfr

version: '2'

networks:
  kafka:
    driver: bridge
    ipam:
      config:
        - subnet: 10.20.0.0/16

services:

hadisfr

git add -p is your friend

git add -p is basically "git add partial (or patch)"

Patch mode allows you to stage parts of a changed file, instead of the entire file. This allows you to make concise, well-crafted commits that make for an easier to read history. This feature can improve the quality of the commits. It also makes it easy to remove parts of the changes in a file that were only there for debugging purposes - prior to the commit without having to go back to the editor.

It allows you to see the changes (delta) to the code that you are trying to add, and lets you add them (or not) separately from each other using an interactive prompt. Here's how to use it:

from the command line, either use

• git add -p

hadisfr

GeekTool Geeklets Scripts

hadisfr

How to Use SPIN

Run Verifier

It's possible to use spin -a src.pml to create pan.[cbhmt] files. Then, it's possible to compile the generated verifier using gcc -o pan pan.c. The compiler verifier could be run by ./pan. spin -run src.pml automates the whole process.

Rerun After Failure

hadisfr

SPIM

mips simulator

• non-interactive:

  spim -f <file>

• interactive

  load "<file>"
  

print_sym (only sees .globl labels)

hadisfr

cd $FOAM_RUN
cp -ar $FOAM_TUTORIALS/incompressible/icoFoam/cavity/cavity .
cd cavity
blockMesh
icoFoam
touch cavity.foam

cd $FOAM_RUN
cp -r $FOAM_TUTORIALS/incompressible/simpleFoam/pitzDaily .
cd pitzDaily

hadisfr

#!/usr/bin/env python3

import json
import csv


def process(bookmark):
    global res
    if 'children' in bookmark.keys():
        for child in bookmark['children']:

hadisfr

#!/usr/bin/env python3

import sys
import urllib.request
from urllib.error import HTTPError

BASE_URL = 'http://dx.doi.org/'

try:
    doi = sys.argv[1]