34 lines
580 B
Bash
34 lines
580 B
Bash
#!/bin/bash
|
|
|
|
dev=$1
|
|
|
|
if [ -z "$dev" ]; then
|
|
echo "Error: no device specified"
|
|
exit 1
|
|
fi
|
|
|
|
if [ ! -e "/sys/bus/pci/devices/$dev" ]; then
|
|
dev="0000:$dev"
|
|
fi
|
|
|
|
if [ ! -e "/sys/bus/pci/devices/$dev" ]; then
|
|
echo "Error: device $dev not found"
|
|
exit 1
|
|
fi
|
|
|
|
port=$(basename $(dirname $(readlink "/sys/bus/pci/devices/$dev")))
|
|
|
|
if [ ! -e "/sys/bus/pci/devices/$port" ]; then
|
|
echo "Error: device $port not found"
|
|
exit 1
|
|
fi
|
|
|
|
echo "Removing $dev..."
|
|
|
|
echo 1 > "/sys/bus/pci/devices/$dev/remove"
|
|
|
|
|
|
sleep 1
|
|
echo "Rescan PCIe devices..."
|
|
echo "1" > /sys/bus/pci/rescan
|