80 lines
1.3 KiB
Bash
80 lines
1.3 KiB
Bash
#!/bin/sh
|
|
# Copyright (c) 2016 DisplayLink (UK) Ltd.
|
|
# File autogenerated by udev-installer.sh script
|
|
|
|
get_evdi_dev_count()
|
|
{
|
|
if [ "$(ls -l /sys/devices/platform/* | grep evdi | wc -l)" = "0" ]; then
|
|
echo "0"
|
|
return
|
|
fi
|
|
|
|
cat /sys/devices/platform/evdi.*/drm/card*/card*/status | grep "^connected$" | wc -l
|
|
}
|
|
|
|
get_displaylink_dev_count()
|
|
{
|
|
cat /sys/bus/usb/devices/*/idVendor | grep 17e9 | wc -l
|
|
}
|
|
|
|
start_displaylink()
|
|
{
|
|
if [ "$(get_displaylink_dev_count)" != "0" ]; then
|
|
start_service
|
|
fi
|
|
}
|
|
|
|
try_stop_displaylink()
|
|
{
|
|
if [ "$(get_evdi_dev_count)" = "0" ]; then
|
|
parent_dev_path="$1"
|
|
if [ -d "$parent_dev_path" ]; then
|
|
echo "1"
|
|
return
|
|
fi
|
|
|
|
if [ "$(get_displaylink_dev_count)" = "0" ]; then
|
|
stop_service
|
|
echo "0"
|
|
return
|
|
fi
|
|
fi
|
|
echo "1"
|
|
}
|
|
|
|
stop_displaylink()
|
|
{
|
|
parent_devpath=$(dirname /sys$1)
|
|
retry_num="50" # 5s
|
|
while [ "$(try_stop_displaylink $parent_devpath)" != "0" ] && [ "$retry_num" != "0" ];
|
|
do
|
|
sleep 0.1
|
|
retry_num=$((retry_num-1))
|
|
done
|
|
}
|
|
|
|
main()
|
|
{
|
|
op=$1
|
|
devpath=$2
|
|
if [ "$op" = "START" ]; then
|
|
start_displaylink
|
|
elif [ "$op" = "STOP" ]; then
|
|
stop_displaylink $devpath
|
|
fi
|
|
}
|
|
|
|
start_service()
|
|
{
|
|
systemctl start displaylink.service
|
|
}
|
|
|
|
stop_service()
|
|
{
|
|
systemctl stop displaylink.service
|
|
}
|
|
|
|
|
|
main $1 $2
|
|
|