jonbinney / jdb-config

Jon's config file repo

Installation instructions

Install packages we need for setting everything up.

sudo apt install git ansible

Create an ssh key pair.

ssh-keygen

Now add the key in ~/.ssh/id_rsa.pub to github.

Clone this config repo.

git clone [email protected]:jonbinney/jdb-config config

And finally run the ansible playbook to set everything up.

cd config/ansible
ansible-playbook -K -i "localhost," -c local config.yml

Remap CapsLock key to be a second control: run gnome-tweaks (installed by ansible playbook already), go to Keyboard & Mouse->Additional Layout Options -> Caps Lock behavior. Select "Make Caps Lock an additional Esc".

jdb-config's Issues

test issue

just trying out the issue tracker

test 2

test 2 body

Bashify make_env_loader

It would be great if this ROS workspace bash script didn't depend on an external Python file.

#!/bin/bash --norc

function ws()
{
    cd $HOME/ws/"$1"
    export ROS_WS=$PWD
    export ROS_WORKSPACE=$ROS_WS
    if [ -f setup.bash ]; then
        echo "Sourcing setup.bash"
        source setup.bash
    fi;

    # create a ros environment loader
    echo "Creating env loader"
    make_env_loader.py $ROS_WS
    export ROS_ENV_LOADER=$ROS_WS/env.sh
}

test title

trying out pygithub issue creation