感谢反馈。

你刷新下试试，中间那个“%20”是前几天提交后的 bug，已经被修复了。正确的链接是：

https://rubyinstaller.cn/download/

我这边访问没有啥问题，导航栏的链接跳转的也是正确的。

5 年后，Shopify 的 CLI 工具也转到 NodeJS 了。偶然看到这个帖子，觉得有些悲哀，似乎 Ruby 的命运越来越只停留在后端了。

补充：

Gem::ConfigFile::SYSTEM_WIDE_CONFIG_FILE

今天刚好发现了这个变量的存在，在 Ubuntu 上，全局的 gem 配置文件也在 /etc/gemrc

在 Windows 种，这个配置文件的位置在 C:/ProgramData/gemrc

@lanzhiheng @msl12

文件系统都有 inode，都会有上限

你把最后一行删了试试

你再看一下 /etc/gemrc , 这个是全局的 Gem 配置，问题应该在这里。全局的会把你自己设置的覆盖掉，所以你的不起作用。

对了，还有可能在 /etc/gemrc

你似乎是 root，看下 /root/.gemrc

如果这也没有，就运行 locate .gemrc 来找找

如果还是没有，就看下你的环境变量有没有设置 "--install-dir=/opt/rh/rh-ruby30/root/usr/local/share/gems --bindir /opt/rh/rh-ruby30/root/usr/local/bin"

如果设置了，把它删了试试

在 Linux 上安装 Ruby，不需要用系统的包，或者自己下载解压那么麻烦。

请直接使用 rbenv，如果您未接入外网，可以直接使用以下工具，省心省力，避免社区每个人都重复解决这个问题。

https://gitee.com/RubyKids/rbenv-cn

你看下你的 ~/.gemrc 这个文件，把这个

"gem" => "--install-dir=/opt/rh/rh-ruby30/root/usr/local/share/gems --bindir /opt/rh/rh-ruby30/root/usr/local/bin"

删了

支持

求教，定理证明器是干什么用的？有没有现实中应用的例子？好像很多学术语言都搞成什么 prover 了。

定理证明器能自动证明勾股定理吗。。。？纯属好奇，对这些东西没有了解。

已合并你的 fix，感谢

代码

require 'benchmark'

n = 1_000_000_000
a = []

Benchmark.bm do |b|

  b.report {
    n.times do 
      a.empty?
    end
  }

  b.report { 
    n.times do 
      a.size == 0
    end
  }

end

结果

     user     system      total        real
40.484000   0.000000  40.484000 ( 40.483034)
45.938000   0.000000  45.938000 ( 45.939939)

结论

empty? 快一丢丢，可能是因为 @pynix 给出的empty?代码直接用的 C 语言一步就出来了。而 a.size == 0 要执行两个步骤，先调用 size 方法，然后有一个额外的 == 操作，导致它略微慢一点。

哈哈，感谢，just for fun

这个 ASCII 图是用什么画的啊？

公开课吗？想听

我不知道你说的是哪种情况

一。有 lib 和 share 的，但是不是必须存在。

这种情况，有可能是作者把源代码放进去了，lib 和 share 可能不是必要的。中间会有个步骤，解压缩后，如果多于一个文件，会提示你自己选里面的某个二进制来放到 bin 中。

二。lib 和 share 起关键作用，必须存在的。

这暂时做不到。

因为我目前解决的主要的问题就是 单个二进制。或者有 deb，rpm 的情况。比如 rbspy，它就是简单的把它打包了成了 tar.gz，只要解压，里面唯一的那个就是要被放进 bin 里的。

https://github.com/rbspy/rbspy/releases

用这个 https://gitee.com/RubyKids/rbenv-cn

gem install rbenv-cn

rbenv-cn install

开始使用

rbenv cninstall 3.1.2

VPN 访问国内网站，一般不会经过代理的似乎。

感谢楼主分享

1. 找你学长，或者看 opengauss 的文档，看哪些接口被修改了，就直接在 Gem 源码里找这些函数去修改。

2. 另外，直接找你老师要现成的用 pg 跑不通的例子，debug 到里面看哪里有问题。先进 Ruby 部分，然后进 C 部分。

楼主加油，希望研究出来后，反馈给社区，教一下大家怎么实现的

更新：现在用户可以通过 RubyGems 安装

gem install rbenv-cn

这个《Rails 产品开发修炼手册》工程量大啊，以后有时间拜读一下

你可以看看这三个

1. https://www.hwaci.com/sw/lemon/
2. https://gitlab.com/fbb-git/bisoncpp
   • https://gitlab.com/fbb-git/flexcpp 它还有一个词法分析器，可以配套使用
3. https://github.com/javacc/javacc

这三个都能生成 C++ 代码（但我不知道能不能在 Windows 上编译运行，第一个应该没问题）

if else 的语法规则，类似这样，剩下的你可以自己补充

if_stmt      : keyword_if expr then
              compstmt
              if_tail
              keyword_end
             ;

if_tail    : opt_else
           | keyword_elsif expr then
             compstmt
             if_tail
            ;

opt_else   : // empty
           | keyword_else 
             compstmt
           ;

https://gitee.com/RubyKids/rbenv-cn

直接用这个，啥都不用配

感谢分享

1. union
2. struct
3. 全局变量，在函数内部改动该值，在函数外检查该值

我也抛砖引玉，等其他人补充

我个人认为，使用 C 等静态类型语言时，应当把平常写 Ruby 的这种动态类型思维扭过来，应当确保：一个函数只返回一个确定的类型。

感谢分享，很宝贵