REPL

  • REPL 是 Read-Eval-Print Loop 的缩写，中文翻译为 “读取-求值-打印-循环”
  • REPL 是一种交互式编程环境 ，最简单的理解就是：用户输入一行代码，它立刻执行并返回结果，然后等待用户输入下一行

REPL 的工作流程

  • R (Read) ：等待用户输入代码（或从键盘读取指令）
  • E (Eval) ：将读取到的代码交给解释器/编译器去执行计算
  • P (Print) ：把执行结果输出显示在屏幕上
  • L (Loop) ：打印完结果后，自动回到第一步，重新等待用户输入

常见 REPL 示例

  • 浏览器开发者工具 ：按 F12 打开控制台，输入 1+1 回车立刻出结果，这就是一个 JavaScript REPL
  • 终端里的 Python ：输入 python 或 python3 进入交互模式，输入 print("Hello") 立刻打印
  • Node.js ：终端输入 node，进入 JavaScript 交互环境
  • 数据库命令行 ：如 mysql 或 psql 命令行客户端，输入 SQL 语句立刻返回表格数据
  • Python 也自带了 REPL 功能，直接输入 Python 命令就能启动
    • 强烈推荐安装 IPython（终端输入 pip install ipython 然后运行 ipython），它有语法高亮、智能补全和更友好的报错提示，属于“增强版 REPL”

REPL 与 “运行脚本文件” 的区别

  • 脚本文件：提前写好整个文件，然后一次性从头播到尾
  • REPL ：像聊天对话，用户说一句（输入），它答一句（输出），有来有回

整体说明

  • 本文以 CentOS 的终端中配置代理为例
  • 通过设置环境变量来实现
  • 某些工具的代理比较特殊，可能需要单独配置，本文不考虑这种情况

临时生效（当前终端会话）

  • 在终端中直接执行以下命令（根据你的代理类型和地址修改）： 
    1
    2
    3
    4
    5
    6
    7
    8
    9
    10
    11
    12
    13
    # HTTP 代理
    export http_proxy="http://代理服务器IP:端口"
    export https_proxy="http://代理服务器IP:端口"

    # 如果代理需要认证
    export http_proxy="http://用户名:密码@代理服务器IP:端口"
    export https_proxy="http://用户名:密码@代理服务器IP:端口"

    # SOCKS5 代理
    export all_proxy="socks5://代理服务器IP:端口"

    # SOCKS5 代理（需认证）
    export all_proxy="socks5://用户名:密码@代理服务器IP:端口"

永久生效（对当前用户，常用）

  • 编辑用户目录下的 .bashrc 文件，在文件末尾添加上述代理设置命令：

    1
    vi ~/.bashrc

  • 使配置生效：

    1
    source ~/.bashrc

永久生效（对所有用户）

  • 如果需要让所有用户都使用代理，可以修改 /etc/profile 文件：

    1
    sudo vi /etc/profile

  • 添加代理设置后执行：

    1
    source /etc/profile

验证代理是否生效

  • 可以使用 curl 命令测试：

    1
    curl -I http://www.google.com

  • 如果返回 HTTP 状态码（如 200、301 等），说明代理配置成功

取消代理

  • 如果需要临时取消代理，可以执行：

    1
    2
    3
    unset http_proxy
    unset https_proxy
    unset all_proxy
    • 注：可一次取消多个 
      1
      unset http_proxy https_proxy