. . "While /dev/input really exists and points to the input system (mice, keyboards, gamepads, etc), /dev/inside doesn't. gzip is a common tool to compress files." . . .