This repository has been archived on 2023-08-20. You can view files and clone it, but cannot push or open issues or pull requests.
lsts_glued/docker/Makefile
zepinto f117dcbe5f Docker Makefile: added DNS option.
# Conflicts:
#	docker/Makefile
2019-02-11 20:00:17 +00:00

45 lines
2.1 KiB
Makefile

###########################################################################
# GLUED: GNU/Linux Uniform Environment Distribution #
# Copyright (C) 2016 OceanScan - Marine Systems & Technology, Lda. #
###########################################################################
# This program is free software; you can redistribute it and/or modify #
# it under the terms of the GNU General Public License as published by #
# the Free Software Foundation; either version 2 of the License, or (at #
# your option) any later version. #
# #
# This program is distributed in the hope that it will be useful, but #
# WITHOUT ANY WARRANTY; without even the implied warranty of #
# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU #
# General Public License for more details. #
# #
# You should have received a copy of the GNU General Public License #
# along with this program; if not, write to the Free Software #
# Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA #
# 02110-1301 USA. #
###########################################################################
# Author: Ricardo Martins #
###########################################################################
TAG := glued
VERSION := 2016.05.0
VOLUME := $(CURDIR)/..
DNS := 8.8.8.8
all:
docker build -t $(TAG):$(VERSION) .
shell:
docker run -w $(VOLUME) --dns=$(DNS) -i -a stdin -a stdout -v $(VOLUME):$(VOLUME) -t $(TAG):$(VERSION)
clean:
@echo "* Stopping docker service..."
@sudo systemctl stop docker
@echo "* Cleaning docker service..."
@sudo rm -rf /var/lib/docker
@echo "* Starting docker service..."
@sudo systemctl start docker
@echo "* Done."
delete_img:
@sudo docker system prune -a