概述“数据库镜像”是一种针对数据库高可用性的基于软件的解决方案。其维护着一个数据库的两个相同的副本，这两个副本分别放置在不同的SQL Server数据库实例中。建议使用不同位置的两台服务器来承载。在同一时刻，其中一台上的数据库用于客户端访问，充当“主体服务器”角色；而另一台则根 据镜像会话的配置和状态，充当热备份服务器，即“镜像服务器角色”，这两种角色不是绝对的。优点l 增强了数据保护功能l 提高
1、官方： Lean (leanprover.github.io) 社区：Lean communi
原创
2023-07-31 08:01:12
445阅读
Lean's OpenWrt固件编译源码地址： https://github.com/coolsnowwolf/lede
参考文章： 编译 Lean 大神的 OpenWrt (x86_x64) 固件教程汇总 编译Lean的Openwrt固件全攻略 1. 准备编译环境注意事项不要用 root 用户 git 和编译！！！默认登陆IP 192.168.1.1, 密码 password安装基础环境首先
小米路由器r3gv2这是一款运营商定制的小米千兆路由器，是r3g（128M+256M+USB）的阉割版，闪存16M，内存128M，处理器是MediaTek MT7621，这个配置勉强可以玩一玩，闲鱼上也有很多，性价比比较高，硬件应该和r4a（小米路由器4A千兆版）一样。编译Lean的Openwrt编译openwrt的过程比较漫长，最重要的是网的可达性要比较好，建议全称代理，编译的注意事项在B站上也
转载
2024-05-14 09:38:48
8808阅读
在使用Kubernetes（K8S）之前，我们首先需要了解Docker的基本用法。Docker是一款开源的容器化平台，可以让开发人员更轻松地构建、打包和部署应用程序。在使用K8S之前，我们通常会使用Docker来打包应用程序并创建容器镜像。
整体流程如下表所示：
| 步骤 | 操作 |
|------|------------------------
原创
2024-02-19 12:51:48
66阅读
SpringBoot与Docker1、Docker是一个开源的应用容器引擎；不是虚拟机，是一个轻量级容器技术，但却实现了虚拟机的功能。2、相关概念及介绍 Docker主机（Host）：安装了docker程序的机器（Docker直接安装在操作系统上面的）； Docker客户端（Client）：连接Docker主机进行操作 Docker仓库（Registry）：用来保存各种打包好的软件镜像； Dock
转载
2023-08-18 13:26:05
35阅读
On the Lean-Agile mailing
转载
2011-02-15 16:03:00
56阅读
2评论
中下载最新release（对于windows，请下载elan-x86_64-pc-windows-msvc.zip），解压运行elan-init.exe，按照指示安
原创
2024-09-29 15:51:34
551阅读
书名：《THE LEAN STARTUP》 《精益创业》作者： [美] 埃里克·莱斯 IMVU：（3D人物场景聊天）https://secure.imvu.com 作者是这个的创始人，从这个项目的0点开始讲起精益...
原创
2022-07-20 20:35:07
52阅读
docker是一个开源的应用容器引擎；是一个轻量级容器技术；Docker支持将软件编译成一个镜像；然后在镜像中各种软件做好配置，将镜像发布出去，其他使用者可以直接使用这个镜像；运行中的这个镜像称为容器，容器启动是非常快速的。就像咱们的windows系统一样我们安装完原生系统之后还有装启动常用软件等，现在我们把他们都打包，张三装过后李四只需要装这些包就行。我们的docker把mysql等打成镜像，我
转载
2023-07-14 23:51:08
102阅读
在使用istoreos和Docker的过程中，我们需要遵循一定的流程来完成相关操作。首先，我们需要安装istoreos，然后使用Docker来运行istoreos。接下来，我将详细介绍如何使用istoreos和Docker。
步骤 | 操作
---|---
1 | 安装istoreos
2 | 下载istoreos的Docker镜像
3 | 运行istoreos容器
### 步骤一：安装ist
原创
2024-05-08 11:26:19
2983阅读
在软件开发领域，容器化技术已经变得越来越流行，而Docker作为目前最为广泛应用的容器化引擎之一，被广泛用于在不同的环境中打包、部署和运行应用程序。本文将详细介绍如何使用Docker，帮助新手快速入门并掌握Docker的基本用法。
### Docker的基本使用流程
下面是使用Docker的基本步骤，我们可以用一个表格展示每个步骤：
| 步骤
原创
2024-02-19 13:07:55
51阅读
# 使用desk docker搭建本地开发环境
## 背景
在进行软件开发时，通常需要搭建一个本地开发环境来进行开发、测试和调试。而使用docker可以帮助我们快速部署和管理开发环境，提高开发效率。而desk是一个方便管理docker开发环境的工具，可以方便地进行应用的启动、停止和管理。
## 问题描述
我们需要搭建一个本地开发环境，其中包含一个web应用和一个数据库，我们希望能够通过desk
原创
2024-07-12 04:53:43
133阅读
# Docker中使用uTorrent的方案
uTorrent是一款流行的BitTorrent客户端，它可以有效地下载和管理大文件。在Docker中使用uTorrent可以简化其安装和管理过程，使其更易于在各种环境中部署。在本方案中，我们将详细描述如何在Docker中运行uTorrent，以及如何通过配置使其有效运作。
## 1. 环境准备
在开始之前，请确保您的系统已经安装了Docker。
# 如何使用 OMV Docker
在OpenMediaVault（OMV）上使用Docker可以让您轻松地部署和管理各种应用程序和服务。本文将为您介绍如何在OMV上安装和使用Docker，并演示一些常见的操作。
## 第一步：安装Docker插件
首先，您需要在OMV上安装Docker插件。在OMV的Web界面中，转到插件管理并搜索“Docker”。找到Docker插件并点击安装。安装完成
原创
2024-05-02 03:40:02
138阅读
# Docker 环境变量的使用
在现代应用开发中，Docker 已成为一种广泛使用的容器化技术。使用 Docker 的一个关键优势是能够通过环境变量轻松地管理应用行为。本文将介绍 Docker 环境变量的使用，解决一个实际问题，并提供示例。
## 问题背景
在开发环境中，常常需要设置一些配置项，如数据库连接字符串、API 密钥等。在不同的环境（开发、测试、生产）中，这些变量的值可能会有所不
原创
2024-10-03 05:31:32
23阅读
# 项目方案：使用Docker ENV 管理环境变量
在Docker 中，我们可以使用 ENV 指令来设置环境变量，方便在容器内部访问和使用。在这个项目方案中，我们将通过 Docker ENV 来管理多个环境的配置，并通过示例代码演示其用法。
## 方案概述
我们将创建一个包含多个服务的 Docker 容器集群，每个服务使用不同的配置文件。我们将使用 Docker ENV 来设置这些配置文件
原创
2024-06-17 04:53:26
21阅读
# 项目方案：使用Docker容器进行部署和管理一个Web应用
## 引言
Docker是一种轻量级的容器技术，可以帮助开发者更高效地打包、部署和运行应用程序。在本文中，将介绍如何使用Docker容器来部署和管理一个简单的Web应用。
## 项目概述
本项目将创建一个基于Flask框架的简单Web应用，该应用将展示一个简单的“Hello, Docker!”页面。我们将使用Docker容器来
原创
2024-04-28 04:26:22
28阅读
使用docker-compose部署MongoDB安装前准备# 下载镜像
docker pull mongo:4.4.8-rc0-focal
# 在自己的Linux中新建一个mongo文件夹
mkdir ./mongo
# 创建docker-compose.yml 以及需要挂载的目录
cd ./mongo
touch docker-compose.yml
mkdir -p ./data/db
转载
2023-10-19 16:06:41
124阅读
# 使用Docker搭建Jupyter环境解决数据分析问题
在数据分析领域，Jupyter是一个非常流行的工具，可以通过它来进行数据探索、可视化和建模。在本文中，将介绍如何使用Docker来搭建一个Jupyter环境，方便进行数据分析工作。
## 流程图
```mermaid
flowchart TD
A(开始)
B(创建Docker容器)
C(安装Jupyter)
原创
2024-05-03 07:49:23
39阅读
