ike's virtual reading room: linux