Skip to content
Snippets Groups Projects
Select Git revision
  • master default
1 result

.bashrc

  • nimrod's avatar
    d3777dbb
    Workbench improvements. · d3777dbb
    nimrod authored
    - Use a specific Tmux socket for the session in the container, seperate
      it from other sessions. Easier to kill in update-wb.
    - Name the session as well and display it properly.
    - Better session creation or attachment.
    - Better image pruning when updating.
    - Don't allow running update-wb from inside the container, killing Tmux
      stops the script and it doesn't work.
    d3777dbb
    History
    Workbench improvements.
    nimrod authored
    - Use a specific Tmux socket for the session in the container, seperate
      it from other sessions. Easier to kill in update-wb.
    - Name the session as well and display it properly.
    - Better session creation or attachment.
    - Better image pruning when updating.
    - Don't allow running update-wb from inside the container, killing Tmux
      stops the script and it doesn't work.