That's basically what I had in mind. However I would like it to be "hard wired" , and I think if using a diode The battery would stay charged, but not discharge if the main battery had a problem. Also I was thinking even if the 9 volt battery was enough voltage for the computer, I would be concerned that the difference between the 9 volts and 13+ charging voltage might be excessive.
