Skip to content

Instantly share code, notes, and snippets.

@rje1974
rje1974 / ROS_WIKI_USER.md
Created January 30, 2021 11:43
Pasos para crear un usuario en la wiki de ROS

Hola, este es un tuto corto para crear tu usuario en la wiki de ROS y empezar con la edición de documentos.

Vamos a la pagina de la wiki de ROS y vamos a crear un usuario...

página wiki de ROS

Hacemos click en el Creamos nuestro usuario

@sabarasaba
sabarasaba / gist:3080590
Created July 10, 2012 02:19
Remove directory from remote repository after adding them to .gitignore
git rm -r --cached node_modules
git commit -m 'Remove the now ignored directory node_modules'
git push origin master