Skip to content

Commit

Permalink
Update IndividualFileRelease.sh (#9)
Browse files Browse the repository at this point in the history
  • Loading branch information
@kghbln
kghbln authored Sep 24, 2019
1 parent 7bfab8e commit 8754713
Showing 1 changed file with 4 additions and 4 deletions.
8 changes: 4 additions & 4 deletions IndividualFileRelease.sh
View file
Original file line number Diff line number Diff line change
Expand Up @@ -3,13 +3,13 @@
# This shell script allows you to create an individual file release in case you have no command
# line access to your webspace.

# Variables - to be updated to your needs before running the script
# Variables - recommended setup - may be updated to your needs before running the script
installdirectory=/var/tmp
softwaredirectory=mediawiki
mediawiki=REL1_31
semanticmediawiki=^3.0
semanticresultformats=^3.0
semanticcompoundqueries=^1.2
semanticmediawiki=^3.1
semanticresultformats=^3.1
semanticcompoundqueries=^2.1
semanticextraspecialproperties=^2.0

# Commands
Expand Down

0 comments on commit 8754713

Please sign in to comment.