Skip to content

Instantly share code, notes, and snippets.

View JimmyPesto's full-sized avatar

Jimmy Pesto JimmyPesto

View GitHub Profile
@JimmyPesto
JimmyPesto / eclipse_cheat_sheet.md
Last active August 31, 2020 13:38
Eclipse cheat sheet
@JimmyPesto
JimmyPesto / multiple_ssh_setting.md
Last active September 23, 2020 13:16 — forked from jexchan/multiple_ssh_setting.md
Multiple SSH keys for different github accounts

Multiple SSH Keys settings for different git accounts

This is working for different hosts like github.com & bitbucket.org.

If it is required to manage multiple accounts from the same host like github.com activate the key that is currently required by the following commands (eg. for username_2):

$ ssh-add -D            		//removes all ssh entries from the ssh-agent
$ ssh-add ~/.ssh/id_rsa_username_2      // Adds the relevant ssh key
@JimmyPesto
JimmyPesto / ScaleAllClouds.sh
Created November 25, 2020 08:17
Bash script to process multiple files in a certain workdirectory the same way in a loop
#!/usr/bin/env sh
echo "started converter with ${1} directory"
workdir=${1};
#recursivly grab all files with pcd file format
for f in $(find ${workdir} -name '*.pcd');
do
echo "processing file: ${f}"
out="${f%.*}.scaled.pcd"