📁 File Manager Pro
v10.0.3 | PHP: 8.1.34
Server: Apache
2026-06-22 07:01:22
📂
/ (Root)
/
opt
/
alt
/
ruby18
/
lib64
/
ruby
/
1.8
/
irb
/
cmd
📍 /opt/alt/ruby18/lib64/ruby/1.8/irb/cmd
🔄 Refresh
✏️
Editing: pushws.rb
Read Only
# # change-ws.rb - # $Release Version: 0.9.5$ # $Revision: 11708 $ # $Date: 2007-02-13 08:01:19 +0900 (Tue, 13 Feb 2007) $ # by Keiju ISHITSUKA(keiju@ruby-lang.org) # # -- # # # require "irb/cmd/nop.rb" require "irb/ext/workspaces.rb" module IRB module ExtendCommand class Workspaces<Nop def execute(*obj) irb_context.workspaces.collect{|ws| ws.main} end end class PushWorkspace<Workspaces def execute(*obj) irb_context.push_workspace(*obj) super end end class PopWorkspace<Workspaces def execute(*obj) irb_context.pop_workspace(*obj) super end end end end
💾 Save Changes
❌ Cancel