如何使用 Watchtower 自动更新正在运行的 Docker 容器
对开发运维人员来说，保持 Docker 容器为最新版本是重要工作之一。手动更新 Docker 容器是一项耗时的工作。 Watchtower 是一款自由开源的应用，用来监控运行中的 Docker 容器，并且当它发现基础镜像被更改后，可以自动的更新容器。 若 Watchtower 发现一个运行中的容器需要更新，它会以发送 SIGTERM 信号的方式，优雅的结束运行中容器的运行。 它会下载新镜像，然后以
webman调试busy进程及编写webman服务进程webman.service
编写webman的服务进程 webman.service [Unit] Description=PHP WebMan Service [Service] # 使用哪个用户进行启动 User=root Group=root # 工作目录 WorkingDirectory=/mnt/www/mfan # 环境变量，没有需要加载的环境变量可以不写这一行 #EnvironmentFile=/mnt/ww
docker build、docker run 使用代理
很多时候在是构建 docker 镜像的时候，里面一些脚本需要从 github 上拉取资源，因为 github 网络不好的原因，我们可以通过指定代理进行构建。 如下命令所示： docker build \ --build-arg "HTTP_PROXY=http://192.168.1.111:10811" \ --build-arg "HTTPS_PROXY=http://192.168.1.11
Docker镜像大小优化的方法
利用Squash功能 （1.13 后新增的试验功能） Docker Daemon 进程启动前，要将 experimental 参数设置为 true; docker v20版本是通过修改/etc/docker/daemon.json开启：{ "experimental": true } 编写的dockerfile没有与之前没有差异 编译时，增加--squash参数docker build --s
用Flask+Element+Vue搭建md5、sha加密网站
转载自：https://blog.csdn.net/weixin_42060598/article/details/121549372 在本章中，我们能学到： Element 中的输入框、按钮、消息提示组件的使用 axios 发送异步数据的操作 用 Flask 框架开发一个完成的后端接口 项目源码地址：https://gitee.com/myrensheng/encryption 我们在网上搜
不足100行Python代码，一键下载UNPKG项目文件！UNPKG一键下载代码解析
转载自：http://www.manongjc.com/detail/56-xrxvnwdviekavwh.html 最近，州的先生打算用饿了么团队开源的Element-UI组件来扩展MrDoc的前端界面。本着怎么简单怎么来、不把简单问题搞复杂的原则，选择脱离webpack和npm那一套前端工程化的东西，直接在HTML页面中调用JS文件。 按照element-ui官方文档的介绍，使用unpkg提供
@font-face用法超详细讲解
font-face是什么 font-face是css3中允许使用自定义字体的一个模块，他主要是把自己定义的Web字体嵌入到你的网页中。 font-face的基本用法@font-face { font-family: <YourDefineFontName>; src: <url> [<format>],[<source> [<fo
PHP判断字符串是否含有特殊字符
正则判断是否含有指定的符号。 包含全角及半角符号，如果$str中含有除了指定符号以外的符号，则会返回false。 其他条件按需增减。 该正则含义：是否含有中文、字母、数字及指定符号。 PS：检测中文时一定要在最后加入u function check_str($str){ $res = preg_match('/^[\x{4e00}-\x{9fa5}A-Za-z0-9 _:：,，.。…\/、
session有效期的几种设置方式其中session.gc_maxlifetime的设置方法php
PHP中的session有效期默认是1440秒（24分钟）也就是说，客户端超过24分钟没有刷新，当前session就会失效。 php5里默认的是180分。 一个已知管用的方法是，使用session_set_save_handler，接管所有的session管理工作，一般是把session信息存储到数据库，这样可以通过SQL语句来删除所有过期的session，精确地控制session的有效期。这也
js 时间戳和日期格式相互转换
一、时间戳转化为日期格式 这个比较麻烦，没有找到js自带函数进行转换，所以需自定义一个函数，可作为公共函数使用。 使用效果如下： time = timestampToTime(1660208851); console.log(time) // 2022-08-11 17:07:31 具体函数： //将时间戳转换成日期格式 function timestampToTime(timestamp) {