Detailed explanation of how to change hosts file in PHP-PHP Tutorial-php.cn

Detailed explanation of how to change hosts file in PHP

墨辰丷

Release： 2023-03-26 17:16:01

Original

2057 people have browsed it

This article mainly introduces the method of changing the hosts file in PHP, and analyzes the related reading, setting, deletion and other implementation techniques of PHP operating the hosts file based on specific examples. Friends in need can refer to the following

The details are as follows:

There is such a requirement. I have multiple URLs that I hope will correspond to different IPs at different times. If I configure hosts one by one, this work seems a bit cumbersome. I wrote the following script to make batch changes.

<?php
define(&#39;HOST_FILE&#39;, &#39;C:\Windows\System32\drivers\etc\hosts&#39;);
$hm = new HostManage(HOST_FILE);
$env = $argv[1];
if (empty($env)) {
    $hm->delAllGroup();
} else {
    $hm->addGroup($env);
}
class HostManage {
    // hosts 文件路径
    protected $file;
    // hosts 记录数组
    protected $hosts = array();
    // 配置文件路径，默认为 __FILE__ . &#39;.ini&#39;;
    protected $configFile;
    // 从 ini 配置文件读取出来的配置数组
    protected $config = array();
    // 配置文件里面需要配置的域名
    protected $domain = array();
    // 配置文件获取的 ip 数据
    protected $ip = array();
    public function __construct($file, $config_file = null) {
        $this->file = $file;
        if ($config_file) {
          $this->configFile = $config_file;
        } else {
          $this->configFile = __FILE__ . &#39;.ini&#39;;
        }
        $this->initHosts()
            ->initCfg();
    }
    public function __destruct() {
        $this->write();
    }
    public function initHosts() {
        $lines = file($this->file);
        foreach ($lines as $line) {
            $line = trim($line);
            if (empty($line) || $line[0] == &#39;#&#39;) {
                continue;
            }
            $item = preg_split(&#39;/\s+/&#39;, $line);
            $this->hosts[$item[1]] = $item[0];
        }
        return $this;
    }
    public function initCfg() {
        if (! file_exists($this->configFile)) {
            $this->config = array();
        } else {
            $this->config = (parse_ini_file($this->configFile, true));
        }
        $this->domain = array_keys($this->config[&#39;domain&#39;]);
        $this->ip = $this->config[&#39;ip&#39;];
        return $this;
    }
    /**
     * 删除配置文件里域的 hosts
     */
    public function delAllGroup() {
        foreach ($this->domain as $domain) {
            $this->delRecord($domain);
        }
    }
    /**
     * 将域配置为指定 ip
     * @param type $env
     * @return \HostManage
     */
    public function addGroup($env) {
        if (! isset($this->ip[$env])) {
            return $this;
        }
        foreach ($this->domain as $domain) {
            $this->addRecord($domain, $this->ip[$env]);
        }
        return $this;
    }
    /**
     * 添加一条 host 记录
     * @param type $ip
     * @param type $domain
     */
    function addRecord($domain, $ip) {
        $this->hosts[$domain] = $ip;
        return $this;
    }
    /**
     * 删除一条 host 记录
     * @param type $domain
     */
    function delRecord($domain) {
        unset($this->hosts[$domain]);
        return $this;
    }
    /**
     * 写入 host 文件
     */
    public function write() {
        $str = &#39;&#39;;
        foreach ($this->hosts as $domain => $ip) {
            $str .= $ip . "\t" . $domain . PHP_EOL;
        }
        file_put_contents($this->file, $str);
        return $this;
    }
}

Copy after login

The sample configuration file is as follows:

# 域名
[domain]
a.example.com=1 # 请无视这个 =1，因为使用了 parse_ini_file 这个函数来解析，如果后面不带值，就获取不到这条记录了
b.example.com=1
c.example.com=1
# ip 记录
[ip]
local=127.0.0.1
dev=192.168.1.100

Copy after login

Usage:

php hosts.php local # 域名将指向本机 127.0.0.1
php hosts.php dev # 域名将指向开发机 192.168.1.100
php hosts.php # 删除域名的 hosts 配置

Copy after login

Related recommendations:

How to change the hosts file in PHP

PHP Implementation ChangehostsFile

PHP ChangehostsFile Method introduce

The above is the detailed content of Detailed explanation of how to change hosts file in PHP. For more information, please follow other related articles on the PHP Chinese website!