mirror of
https://github.com/initialcommit-com/git-sim.git
synced 2026-04-26 19:15:51 +03:00
[PR #50] [MERGED] Created Dockerfile #82
Labels
No milestone
No project
No assignees
1 participant
Notifications
Due date
No due date set.
Dependencies
No dependencies set.
Reference
starred/git-sim#82
Loading…
Add table
Add a link
Reference in a new issue
No description provided.
Delete branch "%!s()"
Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?
📋 Pull Request Information
Original PR: https://github.com/initialcommit-com/git-sim/pull/50
Author: @Averagess
Created: 2/9/2023
Status: ✅ Merged
Merged: 2/10/2023
Merged by: @initialcommit-io
Base:
main← Head:main📝 Commits (1)
a0a2f5cCreated Dockerfile📊 Changes
1 file changed (+13 additions, -0 deletions)
View changed files
➕
Dockerfile(+13 -0)📄 Description
Implemented #46
To build the Docker image, clone this and run
docker build -t git-sim .inside the repository.To run git-sim with Docker, you can use one of these commands depending on the OS
Windows cmd:
docker run --rm -v %cd%:/usr/src/git-sim git-sim logPowershell:
docker run --rm -v ${PWD}:/usr/src/git-sim git-sim logLinux:
docker run --rm -v $(pwd):/usr/src/git-sim git-sim logAfter running, Docker should create an git-sim_media directory inside current working directory
or it appends the media if the directory already exists.
I have tested both windows cmd and powershell, but i havent tested running the linux cmd. It should work though
🔄 This issue represents a GitHub Pull Request. It cannot be merged through Gitea due to API limitations.