Bruno Cascio brunocascio

## dev_tools.sh
#!/bin/bash

#
# JetBrains ToolBox
#

# Download program.
wget https://download.jetbrains.com/toolbox/jetbrains-toolbox-1.11.4269.tar.gz -P /tmp

# Expand archives.

## Instructions.md

      
              2 files
            
          
              4 forks
            
          
              0 comments
            
          
              4 stars
            
          
                karbassi
                / Instructions.md
            
            
              Created
              June 25, 2012 16:57
            
              
                Create a ZIP file from an SVN url
              
          
    Installing


Download svn-zip into /usr/local/bin/. For example: curl https://raw.github.com/gist/2989864/svn-zip > /usr/local/bin/svn-zip
Make sure that /usr/local/bin/ is in your PATH.

Usage

In your terminal, use:
svn-zip SVN_URL ZIP_FILE_NAME
	#!/bin/bash

	#
	# JetBrains ToolBox
	#

	# Download program.
	wget https://download.jetbrains.com/toolbox/jetbrains-toolbox-1.11.4269.tar.gz -P /tmp

	# Expand archives.