#!/bin/sh

PSQL="psql -U manned -Awtq"


./arch.sh current
./debian.sh current
./centos.sh current
./fedora.sh current
./ubuntu.sh current

# Only update indices once a week (on mondays). This process is slow and the data doesn't often change anyway.
if [ `date +%u` == 1 ]
then
  echo "============ Updating SQL indices"
  $PSQL -f update_indices.sql
fi