Skip to content

Instantly share code, notes, and snippets.

@menny
Created August 2, 2025 00:22
Show Gist options
  • Save menny/9d1245ecd4335e1d5850cd4f4b61262e to your computer and use it in GitHub Desktop.
Save menny/9d1245ecd4335e1d5850cd4f4b61262e to your computer and use it in GitHub Desktop.
portainer menny dev box template
[
{
"type": 1,
"title": "Menny's dev box",
"name": "menny-dev-box",
"logo": "https://avatars.githubusercontent.com/u/481272?s=96",
"platform": "linux",
"categories": [
"development",
"utilities"
],
"repository": {
"url": "https://hub.docker.com/r/menny/android_dev",
"stackfile": "version: '3.8'\nservices:\n android-builder:\n image: menny/android_dev\n container_name: android-builder\n restart: 'no'\n tty: true\n stdin_open: true\n environment:\n - GIT_REPO=${GIT_REPO}\n - GIT_BRANCH=${GIT_BRANCH}\n - GIT_PROVIDER=${GIT_PROVIDER}\n volumes:\n - /home/menny/.ssh:/root/.ssh\n ports:\n - \"${SSH_PORT}:22\"\n"
},
"env": [
{
"name": "GIT_REPO",
"label": "Git Repository",
"description": "The repository to clone, e.g., AnySoftKeyboard/AnySoftKeyboard",
"default": "AnySoftKeyboard/AnySoftKeyboard"
},
{
"name": "GIT_BRANCH",
"label": "Git Branch",
"description": "The branch to check out.",
"default": "main"
},
{
"name": "GIT_PROVIDER",
"label": "Git Provider",
"description": "The Git hosting provider domain.",
"default": "github.com"
},
{
"name": "SSH_PORT",
"label": "External SSH Port",
"description": "The external host port to forward to the container's SSH port (22).",
"default": "2201"
}
]
}
]
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment