#!/bin/bash
# don't do anything much...
logout