gipi

FROM    debian:jessie

RUN apt-get update

RUN echo '\nHere we are going to test permissions\n' > /root/instructions

RUN useradd --create-home --shell /bin/bash user1
RUN useradd --create-home --shell /bin/bash user2

gipi

• Manual
• Post about blender units configuration
• Exporting STL files

gipi

 - http://kukuruku.co/hub/algorithms/julia-set

gipi

Intent browserIntent = new Intent(Intent.ACTION_VIEW, Uri.parse("http://www.google.com"));
startActivity(browserIntent);

gipi

// http://stackoverflow.com/questions/2785485/is-there-a-unique-android-device-id
final TelephonyManager tm = (TelephonyManager) getBaseContext().getSystemService(Context.TELEPHONY_SERVICE);

final String tmDevice, tmSerial, tmPhone, androidId;
tmDevice = "" + tm.getDeviceId();
tmSerial = "" + tm.getSimSerialNumber();
androidId = "" + android.provider.Settings.Secure.getString(getContentResolver(), android.provider.Settings.Secure.ANDROID_ID);

UUID deviceUuid = new UUID(androidId.hashCode(), ((long)tmDevice.hashCode() << 32) | tmSerial.hashCode());
String deviceId = deviceUuid.toString();

gipi

/**
 * Customization of the RadioButton in order to allow behaviour
 * and appearance like the iOS ones.
 *
 * Inspired from http://blog.bookworm.at/2010/10/segmented-controls-in-android.html
 */
import android.content.Context;
import android.content.res.TypedArray;
import android.graphics.drawable.GradientDrawable;
import android.graphics.Canvas;

gipi

function calcdpi() {
  echo "sqrt($1^2+$2^2)/$3" | bc
}

gipi

# ant clean && ant debug && adbInstallAll

adbInstallAll() {
  adb devices | \
    sed '1d;/^$/d;' | \
    awk '{print $1}' | \
    while read device;
    do
      adb -s $device install -r bin/*-debug.apk
    done

gipi

set_console_title() {
  PROMPT_COMMAND='echo -ne "\033]0;"'$1'"\007"';
}

gipi

    <target name="docs">
        <javadoc
            sourcepath="src/"
            destdir="docs/"
        />
    </target>