francoiscolas

#!/bin/bash

if [ $# -le 0 ]
then
    echo "Usage: $0 DAY-MONTH..."
    exit 1
fi

USERNAME=francolas
if [ -z "$PASSWORD" ]

francoiscolas

#!/bin/sh
exec tail -n +3 $0
# This file provides an easy way to add custom menu entries.  Simply type the
# menu entries you want to add after this comment.  Be careful not to change
# the 'exec tail' line above.

menuentry "Ubuntu ISO" {
	set root=(hd0,4)
	set iso=/ubuntu.iso
	loopback loop $iso