Yeah, that works for some of them, but many of the aliases I use are only for the command itself, but I still have to supply args/parameters. For example, instead of "git push origin master" I use "gpo master" or even just "gpom".

File a police report, then file a claim with your insurance company. Pony up the deductible, and buy yourself a new laptop and restore it from your time machine backup. Its likely not worth the trouble to pursue getting the stolen property back.

This of course assumes that you have decent home owner's or renter's insurance, which should cover theft ever from your car. If you don't, then you should...

If someone's already mentioned this, I apologize. I didn't read through all of the comments.