string:strip(PortStr)这个函数去不掉换行符

对不起，我的回答有误。确实，`string:strip/1` 函数可以去掉字符串两端的空格，但它无法去掉字符串尾部的换行符。在这种情况下，您可以使用 `string:trim/1` 函数。这个函数可以去掉字符串两端的空格和换行符。下面是修改后的代码：

-module(redis_config).
-export([write_to_file/2, read_from_file/0]).

% 将 Redis 地址和端口写入文件
write_to_file(Host, Port) ->
    {ok, File} = file:open("redis.config", [write, binary]),
    ok = file:write(File, io_lib:format("~s ~p", [Host, Port])),
    ok = file:close(File).

% 从文件中读取 Redis 地址和端口
read_from_file() ->
    {ok, File} = file:open("redis.config", [read, binary]),
    {ok, Data} = file:read(File, 1024),
    [Host, PortStr] = string:tokens(binary_to_list(Data), " "),
    Port = list_to_integer(string:trim(PortStr)),
    {ok, {Host, Port}}.

在修改后的代码中，我们使用了 `string:trim/1` 函数去掉字符串两端的空格和换行符，然后将其转换为整数。这样，就可以避免出现 `bad argument` 错误了。