[charlieok]

if you're going to bother syncing your shell history across machines, you probably also would strongly consider syncing your entire home directory.