1.sudo docker ps -a 查看当前docker实例的信息: CONTAINER ID        IMAGE               COMMAND                  CREATED             STATUS                         PORTS               NAMES 2.宿主机和容器之间的数据拷贝: sudo docker cp shared_dir/data/  CONTAINER ID:/home/xx…

手动构建docker映象: 从github上获取klee源码 git clone https://github.com/klee/klee.git cd klee 使用存储库根目录中dockerfile的内容来构建docker映像 docker build -t klee/klee . 创建一个临时的klee docker镜像 docker run --rm -ti --ulimit='stack=-1:-1' klee/klee ​ 创建永久: docker run -ti --name=my…

一.开机进入命令行模式(tty1) sudo vim /etc/default/grub 把GRUB_CMDLINE_LINUX_DEFAULT=”quiet splash”改成GRUB_CMDLINE_LINUX_DEFAULT=”quiet splash text” 然后更新grub sudo update-grub 二.分辨率调节(解决进入命令界面时字体过大) sudo vim /etc/default/grub 加入GRUB_GFXPAYLOAD_LINUX=1280x1024 设置成显…

在Linux下Win键就是Super键 启动器 Win(长按) 打开启动器,显示快捷键 Win + Tab 通过启动器切换应用程序 Win + 1到9 与点击启动器上的图标效果一样 Win + Shift + 1到9 在应用中打开一个新窗口 Win + T 打开垃圾桶 面板 Win(轻触点击) 打开dash主页 Win + A 打开dash应用栏目 Win + F 打开dash文件栏目 Win + M 打开dash音乐栏目 Win + C 打开dash图片栏目 Win + V 打开dash视频栏…

1 简介 Ubuntu 16.04安装完后,还需要做一些配置才能愉快的使用,包括添加软件源.安装搜狗输入法.Chrome浏览器.网易云音乐.配置快捷键.安装git等等,下面就跟着我来配置吧,just do it 2 版本选择 如果你是小白,不想折腾,可以直接选择安装deepin linux,中文名”深度Linux”,这个是国内目前最好用的Linux之一,开箱即用,常用软件都安装好了,甚至连最新版的QQ都有,mac风格的界面也很漂亮. 但是,作为一个程序员,还是要使用Ubutnu,之前博主用过Ub…

系统环境 * Ubuntu: 16.04 * Docker: 17.09.0-ce 安装步骤 1.安装Docker-CE,具体参考:https://docs.docker.com/engine/installation/linux/docker-ce/ubuntu/ 1.1.删除计算机中已有的docker版本,如果没装过就进行1.2步 $ sudo apt-get remove docker docker-engine docker.io 1.2.安装linux-image-extra-*包,以…

一.更换为国内的软件源 安装搜狗输入法之前请先更换为国内的软件源,否则无法解决依赖问题.首先,用以下命令打开源列表: sudo gedit /etc/apt/sources.list #用文本编辑器打开源列表 在文件开头添加下面的阿里云的软件源: deb http://mirrors.aliyun.com/ubuntu/ quantal main restricted universe multiverse deb http://mirrors.aliyun.com/ubuntu/ quanta…

本文首发于个人博客https://kezunlin.me/post/e88f04e5/,欢迎阅读最新内容! pymongo and mongoengine tutorial on ubuntu 16.04 Guide version mongo 2.6.10 mongo gui: robo3t-1.3.1 pymongo 3.9.0 MongoEngine 0.18.2 install mongodb sudo apt-get install -y mongodb mongo shell mon…

Docker基础概念 在使用Docker之前,我们先了解下几个Docker的核心概念 Docker Daemon Docker引擎,就是运行在后台的一个守护进程,在我们启动它之后,我们就可以通过Docker客户端发送相关Docker的命令. Docker Images Docker镜像,这个就类似于我们在安装Windows时的镜像,只不过windows的镜像,在以前我们通常存在光盘上或者U盘里,这里的镜像我们通常会发布到Docker Registry Docker Containers Dock…

一.Docker的两个版本 Docker有两个版本: 社区版(CE) 企业版(EE) Docker Community Edition(CE)非常适合希望开始使用Docker并尝试使用基于容器的应用程序的个人开发人员和小型团队. Docker企业版(EE)专为企业开发和IT团队而设计,他们在生产中大规模构建,发布和运行业务关键型应用程序. 二.安装Docker CE 本操作过程基于Ubuntu 16.04操作系统. 卸载旧版本 Ubuntu的旧版本被称为docker,docker.io 或doc…