Ruby 2.0.0 リファレンスマニュアル > ライブラリ一覧 > irb/cmd/pushwsライブラリ > IRB::ExtendCommand::PushWorkspaceクラス > execute
execute(*obj) -> [IRB::WorkSpace]
UNIX シェルコマンドの pushd と同じです。