#!/bin/sh
TMP_FDI_FILE=/tmp/extkbd.tmp
HAL_FDI_FILE=/usr/share/hal/fdi/policy/20thirdparty/99-x11-external-keyboard.fdi

if [ -f $TMP_FDI_FILE ]; then
    cp $TMP_FDI_FILE $HAL_FDI_FILE
    rm $TMP_FDI_FILE
fi
