At Wed, 31 Jul 2002 16:16:10 +0900,
Pit Capitain wrote:

>   def with_ARGV_saved
>     saved_ARGV = ARGV.dup
>     yield
>   ensure
>     ARGV.clear.concat saved_ARGV

FYI: There is Array#replace instead of the idiom above, 

      ARGV.replace(saved_ARGV)

>   end

And builtin container classes have #replace.