Knowing the Options On May 16, 2017May 16, 2017 By John Morehouse Quick look at @@options and a script that will be a little more useful to see what options are enabled for your current session.