Gotta check with her parents on this one, but I'd say a computer. Specifically, take an older computer you have at home (you know you do), install Linux (Mint or Ubuntu), preinstall as much useful software as you can (zsh, sublime text, good terminal emulator, etc). Remove anything that doesn't seem applicable.
I think this is better than a raspberry pi because it's going to be more reliable, and less intimidating