| Server IP : 104.21.25.180 / Your IP : 104.23.197.123 Web Server : Apache/2.4.37 System : Linux almalinux.duckdns.org 4.18.0-553.111.1.el8_10.x86_64 #1 SMP Sun Mar 8 20:06:07 EDT 2026 x86_64 User : ricodeal ( 1046) PHP Version : 7.4.33 Disable Function : NONE MySQL : OFF | cURL : ON | WGET : ON | Perl : ON | Python : ON | Sudo : ON | Pkexec : ON Directory : /usr/share/ruby/irb/cmd/ |
Upload File : |
# frozen_string_literal: false
#
# change-ws.rb -
# $Release Version: 0.9.6$
# $Revision: 56371 $
# by Keiju ISHITSUKA([email protected])
#
# --
#
#
#
require "irb/cmd/nop.rb"
require "irb/ext/workspaces.rb"
# :stopdoc:
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
# :startdoc: