Skip to content

Instantly share code, notes, and snippets.

@lawrencejones

lawrencejones/pintos.sh

Created March 2, 2014 12:18
Show Gist options
  • Star 0 You must be signed in to star a gist
  • Fork 0 You must be signed in to fork a gist
  • Save lawrencejones/9305756 to your computer and use it in GitHub Desktop.
Save lawrencejones/9305756 to your computer and use it in GitHub Desktop.
Download ZIP
SCP's relevant pintos tools from one machine to another
Raw
pintos.sh
#!/bin/bash
echo Enter MacBook Air IP:
read IP
echo Enter username for MacBook Air:
read USR
export MBA=$USR@$IP
echo Transferring...
scp -r $MBA:/usr/local/pintos-utils /usr/local/
scp -r $MBA:/usr/local/i386-elf-gcc /usr/local/
echo "Now add both /usr/local/pintos-utils &
/usr/local/i386-elf-gcc/bin to your path"
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment