Skip to content

Instantly share code, notes, and snippets.

@ruffsl
ruffsl / chroot-to-pi.sh
Last active May 17, 2024 13:12 — forked from htruong/chroot-to-pi.sh
Chroot to pi sd card
#!/bin/bash
# This script allows you to chroot ("work on")
# the raspbian sd card as if it's the raspberry pi
# on your Ubuntu desktop/laptop
# just much faster and more convenient
# credits: https://gist.github.com/jkullick/9b02c2061fbdf4a6c4e8a78f1312a689
# make sure you have issued
- tar:
local-name: catkin
uri: https://github.com/ros-gbp/catkin-release/archive/release/kinetic/catkin/0.7.1-0.tar.gz
version: catkin-release-release-kinetic-catkin-0.7.1-0
- tar:
local-name: cmake_modules
uri: https://github.com/ros-gbp/cmake_modules-release/archive/release/kinetic/cmake_modules/0.4.0-1.tar.gz
version: cmake_modules-release-release-kinetic-cmake_modules-0.4.0-1
- tar:
local-name: gencpp