#!/bin/bash

# misc.sh
# Functions that don't belong anywhere else, and some constants

datadir="$HOME/.rocksndiamonds"
levels="$datadir/levels"
packages="$datadir/packages"
packages_global="/usr/share/games/rocksndiamonds/packages"
packages_shared="$packages_global/shared"

tmp_dir="/tmp" # used for downloads and tmp files

newline="
"
IFS=$newline

function get_tmp_filename () {
  file="$tmp_dir/.tmp$RANDOM"
  while [ -e "$file" ]; do file="$tmp_dir/.tmp$RANDOM"; done
}

#function category_invoke () {
#  ## invoke function $1 for each levelset category
#  $1 "Additional Classic Levels" $2
#  $1 "Additional Player Levels" $2
#  $1 "Classic Games" $2
#  $1 "Contributions" $2
#  $1 "Examples" $2
#  $1 "Multiplayer Levels" $2
#  $1 "Tutorials" $2
#}

function header () {
  clear
  echo ""
  echo "     Rocks'n'Diamonds Level Manager"
  echo "           (C) Tomi Belan 2006"
  echo ""
}

function launch_rnd () {
  clear
  rocksndiamonds -l /home/tomi/projekty/rlm/emptydir
  exit 0
}

function debug_message () {
  echo $1
  sleep 2
}

function download () { # args: URL, filename (if not autodetectable)
  [ -z "$2" ] && filename="${1##*/}" || filename="$2"
  pushd "$tmp_dir" >/dev/null
  [ -f "$filename" ] && return
  echo "## Downloading $1"
  wget -nv "$1"
  returncode=$?
  if [ $? -gt 0 ] || [ ! -f "$filename" ] || [ -z `cat "$filename"` ]; then
    echo "## Download failed"
    echo "## Press Enter to return to main menu"
    read x
    menu_back
  else
    echo "## Download successful"
  fi
  popd >/dev/null
}