DrTrigon has submitted this change and it was merged.

Change subject: follow-up; minor bug-fix/clean-up of last commit
......................................................................


follow-up; minor bug-fix/clean-up of last commit

Change-Id: Ida920e32a5900d422fbb4e780eb689e6682e43e7
---
M fabfile.py
1 file changed, 3 insertions(+), 3 deletions(-)

Approvals:
  DrTrigon: Verified; Looks good to me, approved



diff --git a/fabfile.py b/fabfile.py
index 21ce970..32c4a5e 100644
--- a/fabfile.py
+++ b/fabfile.py
@@ -138,14 +138,14 @@
     if LABS:    # labs-tools
 #        local('cp -r pywikibot-drtrigonbot/public_html/cgi-bin/* cgi-bin/')
         local('ln -s ~/pywikibot-drtrigonbot/public_html/cgi-bin/* cgi-bin/')
+        local('ln -s ~/pywikibot-drtrigonbot/public_html/SearchRequest.xml 
public_html/SearchRequest.xml')
+        local('ln -s ~/pywikibot-drtrigonbot/public_html/batch.css 
public_html/batch.css')
+        local('ln -s 
~/pywikibot-drtrigonbot/public_html/jira.webresources:global-static.css 
public_html/jira.webresources:global-static.css')
     else:       # toolserver
 #        local('cp -r pywikibot-drtrigonbot/public_html/* public_html/')
         local('ln -s ~/pywikibot-drtrigonbot/public_html/tsnotice.css 
public_html/tsnotice.css')
         local('ln -s ~/pywikibot-drtrigonbot/public_html/cgi-bin/* 
public_html/cgi-bin/')
     local('ln -s ~/pywikibot-drtrigonbot/public_html/index.html 
public_html/index.html')
-    local('ln -s ~/pywikibot-drtrigonbot/public_html/SearchRequest.xml 
public_html/SearchRequest.xml')
-    local('ln -s ~/pywikibot-drtrigonbot/public_html/batch.css 
public_html/batch.css')
-    local('ln -s 
~/pywikibot-drtrigonbot/public_html/jira.webresources:global-static.css 
public_html/jira.webresources:global-static.css')
 
 def dl_compat():
     # 
https://www.mediawiki.org/wiki/Manual:Pywikipediabot/Installation#Setup_on_Wikimedia_Labs.2FTool_Labs_server

-- 
To view, visit https://gerrit.wikimedia.org/r/109599
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings

Gerrit-MessageType: merged
Gerrit-Change-Id: Ida920e32a5900d422fbb4e780eb689e6682e43e7
Gerrit-PatchSet: 1
Gerrit-Project: pywikibot/bots/drtrigonbot
Gerrit-Branch: master
Gerrit-Owner: DrTrigon <dr.tri...@surfeu.ch>
Gerrit-Reviewer: DrTrigon <dr.tri...@surfeu.ch>

_______________________________________________
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits

Reply via email to