Skip to content

Instantly share code, notes, and snippets.

View janmalec's full-sized avatar

Jan Malec janmalec

  • Jožef Stefan Institute
  • Koper
View GitHub Profile
@janmalec
janmalec / HowToOpenAnotherTerminal-BashInstanceInARunningDockerContainer.md How To Open Another Terminal/Bash Instance In A Running Docker Container as current user #gistblog #bash #docker

How To Open Another Terminal/Bash Instance In A Running Docker Container as current user

Add the following to your bashrc.

#Add another docker window
function dock()
{
  if [ "$1" == "-h" ]
 then
@janmalec
janmalec / bat2sh.sh
Last active January 5, 2023 09:45 — forked from markus2610/bat2sh.sh
Simple converter from batch (.bat) files to shell script (.sh)
#!/usr/bin/env bash
#
# Converts Windows batch script to Linux shell script
#
# Invocation:
# ./bat2sh script.bat
#
OUTFILE=${2:-${1%%.bat}.sh}