Does anyone know of a way to read the registry of the local machine inside a terminal session?