En un sistema Gentoo Linux, estoy imprimiendo el valor de un descriptor de archivo desde un script PHP que produce el siguiente resultado:
Resource id #1234
¿Cómo encontrar el archivo/dispositivo correspondiente dada esta identificación de recurso?
Respuesta1
Suponiendo que el número es efectivamente el descriptor del archivo Unix, puede averiguarlo usando
ls -l /proc/$PID/fd/1234
donde en lugar de $PIDusted inserta el PID del proceso PHP (que puede obtener, por ejemplo, usando ps). Por ejemplo, en una fiesta interactiva obtengo con
ls -l /proc/$$/fd/0
( $$es el PID del shell actual en bash) la salida
lrwx------ 1 ******** ******** 64 Okt 16 14:24 /proc/21239/fd/0 -> /dev/pts/4
diciéndome que el descriptor del archivo 0(que es stdin) se refiere al archivo /dev/pts/4(que es el dispositivo pseudoterminal en el que se ejecuta el shell).