#!/bin/sh plugindir="$HOME"/.mozilla/plugins/ if [ -d $plugindir ]; then echo "Plugin directory already exists." else echo "Creating plugin directory." mkdir $plugindir fi if [ "$#" != 1 ]; then echo "usage: $0 " exit 1 fi if [ "$1" != $plugindir ]; then mv -f "$1"/*.so $plugindir mv -f "$1"/*.xpt $plugindir fi