How to serve file from different location - python http

pushd /x01/tecmint/; python –m SimpleHTTPServer 9999; popd;