#!/bin/sh
update_wdm_wmlist
wdm "$@"
