Update Shell.php

getCmdList() extended with one parameter