Skip to content

Instantly share code, notes, and snippets.

@jeremyj
Created March 7, 2015 11:41
Show Gist options
  • Select an option

  • Save jeremyj/8bbd6c11e2858de1d86d to your computer and use it in GitHub Desktop.

Select an option

Save jeremyj/8bbd6c11e2858de1d86d to your computer and use it in GitHub Desktop.

Revisions

  1. jeremyj created this gist Mar 7, 2015.
    3 changes: 3 additions & 0 deletions svn checkout one file
    Original file line number Diff line number Diff line change
    @@ -0,0 +1,3 @@
    svn checkout <url_of_big_dir> <target> --depth empty
    cd <target>
    svn up <file_you_want>