Minecraft Tools: SnapShotter 1.0

Si — Sat, 21 Aug 2010 10:58:34 +0000

Although I did post this on the Minecraft Forums, I think I should post this here for anyone who wants to see how simple this script is.

What it does is to take a copy of the Minecraft map and copy it to a folder for people to grab (also good for backups when someone TNTs the hell out of your map). If you have any suggestions/improvements, feel free to comment.

(To stop the spamming of rubbish your RSS reader won’t understand I’ll put the code under the break.)

#!/bin/bash
# Minecraft World Snapshotter
# Version 1.0
# Created by Simon Cook (simon@simoncook.org)
 
## CONFIG START
 
# WORLD contains the name of the directory the Minecraft world is in
WORLD="world"
 
# FILENAME contains the name that will be appended with the date
FILENAME="world2-"
# DATE contains the date formatting to be used for a file name
DATE="%Y%m%d-%H%M%S"
# TYPE defines the file type to create (valid: tar bz2 7z zip)
TYPE="7z"
 
# DEST if valid, the snapshot will be copied or moved to this directory
DEST="/var/www/simoncook.org/web/static/minecraft/"
# CPMV is whether to move or copy if DEST is valid (valid: cp mv)
CPMV="cp"
 
## CONFIG END
## DO NOT EDIT UNDER THIS LINE
 
FILENAME=$FILENAME`date +$DATE`
 
if ! [ -d "$WORLD" ]; then
    echo "Sorry, World \"$WORLD\" does not exist!"
    exit 1
fi
 
if [ "$TYPE" == "tar" ]; then
    FILENAME=$FILENAME.tar
    tar cf $FILENAME $WORLD
    echo "Snapshot created as $FILENAME"
elif [ "$TYPE" == "bz2" ]; then
    FILENAME=$FILENAME.tar
    tar cf $FILENAME $WORLD
    bzip2 -9 $FILENAME
    FILENAME=$FILENAME.bz2
    echo "Snapshot created as $FILENAME"
elif [ "$TYPE" == "7z" ]; then
    FILENAME=$FILENAME.7z
    7za a -mx9 $FILENAME $WORLD
    echo "Snapshot created as $FILENAME"
elif [ "$TYPE" == "zip" ]; then
    FILENAME=$FILENAME.zip
    zip -9rq $FILENAME $WORLD
    echo "Snapshot created as $FILENAME"
fi
 
if [ -d "$DEST" ]; then
    if [ "$CPMV" == "mv" ]; then
        mv $FILENAME $DEST
        echo "File moved to $DEST"
    elif [ "$CPMV" == "cp" ]; then
        cp $FILENAME $DEST
        echo "File copied to $DEST"
    fi
fi

Pulling random data from /dev/random

Si — Wed, 17 Feb 2010 06:55:44 +0000

This is a shell script that will pull 5 random characters from /dev/random and print them out to standard output. It was created as the input component for a random password generator that I am currently writing.

Note on using /dev/random: as usual, using this source for entropy will give you pure randomness, though due to the nature of the random source (see Wikipedia entry on /dev/random) the script may sometimes lock up and fail to generate a complete output, as it has run out of randomness. If you are intending to use this alot, then it is advised to use /dev/urandom that doesn’t block, although that comes at the cost of a small bit of entropy.

#!/bin/bash
# Script for pulling x characters from a random source
#   and prints them out to stdout
# Version 1.0.0
# By Simon Cook (http://simoncook.org)
 
# Fill in the two variables below
#  "entropy" is the source of randomness
#  "chars" is the number of chars we want
entropy=/dev/random
chars=5
 
# Pull x characters from source
i=0
while read -r -n1 char
do
    echo -n "$char"
    (( i++ ))
if [ "$i" -eq "$chars" ]; then
   echo ""
   exit 0
fi
done &lt; "$entropy"

Licensing: This small script is released under the CC-GNU GPL licence.

Simon Cook » bash

Minecraft Tools: SnapShotter 1.0

Pulling random data from /dev/random