StefanFabian

### This script wraps all executables in the anaconda bin folder so that they can be used without adding Anaconda
### to the path which would break some functionality of ROS (Robot Operating System)
###
### The commands e.g. jupyter notebook will cause the script to add anaconda to the path, start jupyter notebook
### and after jupyter notebook terminated remove anaconda from the path again
###
### Notable commands:
### * release-the-snake       Adds conda to the path and removes all aliases defined by this script
###                           Conda will stay in the PATH until the end of the session (terminal is closed) or
###                           until "cage-the-snake" is called

StefanFabian

#!/bin/bash
#  ___  ___   _   _   _     _____   _   ____   __    _  __      __
# |   \/   | | | | | | |   |_   _| | | |  __| |  \  | | \ \    / /
# | |\  /| | | |_| | | |__   | |   | | | |__  |   \ | |  \ \  / / 
# |_| \/ |_| |_____| |____|  |_|   |_| |  __| | |\ \| |   \ \/ /  
#                                      | |__  | | \   |    \  /   
# v1.0 by Stefan Fabian                |____| |_|  \__|     \/    
#
# This script installs multienv, a small bash tool that allows you to easily switch between environments.
# For available commands run 'multienv help' after installation.

StefanFabian

{"version":1,"resource":"file:///media/stefan/Data/sim/paper/rviz_overlay/examples/remote_control.qml","entries":[{"id":"HmAq.qml","source":"undoRedo.source","timestamp":1654284680052}]}

StefanFabian

{"lastUpload":"2020-11-12T09:46:17.765Z","extensionVersion":"v3.4.3"}

StefanFabian

{{
  let date = new Date($.DATE);
  let date_string = date.getDate().toString().padStart(2, '0') + '.' + (date.getMonth() + 1).toString().padStart(2, '0') + '.' + date.getFullYear();
  let paths = $.DIR.split('/');
  let index = paths.lastIndexOf('src');
  let has_ns = index > 0 && index < paths.length;
  let ns = "";
  if (has_ns) {
    ns = paths[index - 1];
  }

StefanFabian

{{
  let date = new Date($.DATE);
  let date_string = date.getDate().toString().padStart(2, '0') + '.' + (date.getMonth() + 1).toString().padStart(2, '0') + '.' + date.getFullYear();
  let paths = $.DIR.split('/');
  let index = paths.lastIndexOf('include');
  let has_ns = index >= 0 && index < paths.length;
  let ns = "";
  let include_guard = $.NAME.toUpperCase() + '_H';
  if (has_ns) {
    ns = paths[index + 1];