Difference between revisions of "Information Technology"

From Deep Blue Robotics Wiki
Jump to: navigation, search
m
m
Line 8: Line 8:
 
[[Project planning tool evaluations]]
 
[[Project planning tool evaluations]]
  
==Widgets==
+
=Widgets=
 
Widgets are super cool and easy to use and help us to embed things that would have taken annoying html to do. The widgets that are installed and how to use them are located [[Widgets|here]].
 
Widgets are super cool and easy to use and help us to embed things that would have taken annoying html to do. The widgets that are installed and how to use them are located [[Widgets|here]].
  
==New Users==
+
=New Users=
===How to get a new account===
+
==How to get a new account==
 
Contact ericliu121@yahoo.com with you email and full name (first, middle, last) to get an account.
 
Contact ericliu121@yahoo.com with you email and full name (first, middle, last) to get an account.
  
===How to make a new account===
+
==How to make a new account==
 
If you are a bureaucrat, you can make accounts
 
If you are a bureaucrat, you can make accounts
 
# Click on Admin links in the top right corner
 
# Click on Admin links in the top right corner
Line 28: Line 28:
 
# Fill in a reason if you want to
 
# Fill in a reason if you want to
 
# Click "Create another account"
 
# Click "Create another account"
 +
 +
=New Extensions=
 +
==General instructions==
 +
 +
To add a MediaWiki extension:
 +
 +
#Get whatever you need permissions to change files on the carlmontrobotics.org shared host. Whichever mentor is acting as the webmaster (currently Charles Shanefelter) should be able to set you with the necessary permissions.
 +
#Find the extension you want to install. Try Googling "WikiMedia Extension <var>something</var>", or search the [https://www.mediawiki.org/wiki/Category:All_extensions MediaWiki site].
 +
#Follow the instructions for the version of the extension that is compatible with [[Special:Version|the versions of MediaWiki, PHP, and MySQL that this wiki is using]]. This will typically required that you:
 +
##Copy the extension's folder under <code>~/public_html/wiki/extensions</code>
 +
##Edit <code>~/public_html/wiki/LocalSettings.php</code> to load and configure the extension.
 +
 +
 +
==Details for currently installed extensions==
 +
 +
===[https://www.mediawiki.org/wiki/Extension:VisualEditor VisualEditor] for What You See Is What You Get Editing===
 +
 +
Download and extract correct version under <code>~/public_html/wiki/extensions:</code>
 +
<pre>cd ~/public_html/wiki/extensions
 +
wget  https://www.mywikis.com/assets/VisualEditor-REL1_26-34a21d8.tar.gz
 +
tar zxvf [https://www.mywikis.com/assets/VisualEditor-REL1_26-34a21d8.tar.gz VisualEditor-REL1_26-34a21d8.tar.gz]</pre>VisualEditor requires a separate Parsoid service to convert between wikitext and HTML. You can install it on a separate server, or just purchase [https://www.mywikis.com/hostedparsoid hosted Parsoid service for $1/month] (it might take a few days to get started up).
 +
 +
Add this to <code>~/public_html/wiki/LocalSettings.php</code>:<pre>### Hosted Parsoid at mywikis.com for VisualEditor<br>
 +
require_once "$IP/extensions/VisualEditor/VisualEditor.php";<br>
 +
<br>
 +
// Enable by default for everybody<br>
 +
$wgDefaultUserOptions['visualeditor-enable'] = 1;<br>
 +
<br>
 +
// Optional: Set VisualEditor as the default for anonymous users<br>
 +
// otherwise they will have to switch to VE<br>
 +
// $wgDefaultUserOptions['visualeditor-editor'] = "visualeditor";<br>
 +
<br>
 +
// Don't allow users to disable it<br>
 +
#$wgHiddenPrefs[] = 'visualeditor-enable';<br>
 +
<br>
 +
// OPTIONAL: Enable VisualEditor's experimental code features<br>
 +
#$wgDefaultUserOptions['visualeditor-enable-experimental'] = 1;<br>
 +
<br>
 +
$wgVirtualRestConfig['modules']['parsoid'] = array (<br>
 +
        'url' => 'http://server2.mywikis.net:8000',<br>
 +
        'domain' => 'wiki.carlmontrobotics.org',<br>
 +
);</pre>
 +
===[https://www.mediawiki.org/wiki/Extension:Widgets Widgets] for embedding arbitrary HTML===
 +
 +
Follow the [https://www.mediawiki.org/wiki/Extension:Widgets#Installing_using_Git installation] and [https://www.mediawiki.org/wiki/Extension:Widgets#Configuration configuration] instructions (I used the Git installation method).
 +
 +
Use the links on [http://wiki.carlmontrobotics.org/index.php?title=Special:PrefixIndex&prefix=&namespace=274 the list of currently installed widgets] to see how to use them.
 +
 +
To find and install new widgets, see the [http://www.mediawikiwidgets.org/Widgets_Catalog MediaWikiWidgets.org] site. You will need admin or Widget authoring permission to do that.
 +
 +
===[https://www.mediawiki.org/wiki/Extension:SyntaxHighlight SyntaxHighlight] for syntax highlighting of source code===
 +
 +
This comes with our version of MediaWiki. I just needed to do 2 things:
 +
 +
# Load the extension by adding <syntaxhighlight lang="php" inline="">wfLoadExtension( 'SyntaxHighlight_GeSHi' );</syntaxhighlight> to <code>~/public_html/wiki/LocalSettings.php</code>.
 +
# Make <code>pygmentize</code> executable by running <syntaxhighlight lang="sh" inline="">chmod a+x ~/public_html/wiki/extensions/SyntaxHighlight_GeSHi/pygments/pygmentize</syntaxhighlight>.

Revision as of 22:35, 13 December 2016

Adding extensions to the wiki


Task tracking tool evaluations

Project planning tool evaluations

Widgets

Widgets are super cool and easy to use and help us to embed things that would have taken annoying html to do. The widgets that are installed and how to use them are located here.

New Users

How to get a new account

Contact ericliu121@yahoo.com with you email and full name (first, middle, last) to get an account.

How to make a new account

If you are a bureaucrat, you can make accounts

  1. Click on Admin links in the top right corner
  2. Under Users, click on Create a user
  3. Username should be in the format of "Capital First Initial" + "Capitalized Last Name
    1. For example, if your name is John Albert Smith, your wiki username should be JSmith
    2. If the username exists already, use put in the "Capital Middle Initial" so John Albert Smith would become JASmith
    3. If the username still exists, change to the format of JohnASmith and if by some act of god it still exists, use JohnAlbertSmith
  4. Check the box "Use a temporary random password and send it to the specified email address" and enter in the email given
  5. Put their real name in the real name box
    1. Do not put their middle name in here
  6. Fill in a reason if you want to
  7. Click "Create another account"

New Extensions

General instructions

To add a MediaWiki extension:

  1. Get whatever you need permissions to change files on the carlmontrobotics.org shared host. Whichever mentor is acting as the webmaster (currently Charles Shanefelter) should be able to set you with the necessary permissions.
  2. Find the extension you want to install. Try Googling "WikiMedia Extension something", or search the MediaWiki site.
  3. Follow the instructions for the version of the extension that is compatible with the versions of MediaWiki, PHP, and MySQL that this wiki is using. This will typically required that you:
    1. Copy the extension's folder under ~/public_html/wiki/extensions
    2. Edit ~/public_html/wiki/LocalSettings.php to load and configure the extension.


Details for currently installed extensions

VisualEditor for What You See Is What You Get Editing

Download and extract correct version under ~/public_html/wiki/extensions:

cd ~/public_html/wiki/extensions
wget  https://www.mywikis.com/assets/VisualEditor-REL1_26-34a21d8.tar.gz
tar zxvf [https://www.mywikis.com/assets/VisualEditor-REL1_26-34a21d8.tar.gz VisualEditor-REL1_26-34a21d8.tar.gz]
VisualEditor requires a separate Parsoid service to convert between wikitext and HTML. You can install it on a separate server, or just purchase hosted Parsoid service for $1/month (it might take a few days to get started up). Add this to ~/public_html/wiki/LocalSettings.php:
### Hosted Parsoid at mywikis.com for VisualEditor<br>
require_once "$IP/extensions/VisualEditor/VisualEditor.php";<br>
<br>
// Enable by default for everybody<br>
$wgDefaultUserOptions['visualeditor-enable'] = 1;<br>
<br>
// Optional: Set VisualEditor as the default for anonymous users<br>
// otherwise they will have to switch to VE<br>
// $wgDefaultUserOptions['visualeditor-editor'] = "visualeditor";<br>
<br>
// Don't allow users to disable it<br>
#$wgHiddenPrefs[] = 'visualeditor-enable';<br>
<br>
// OPTIONAL: Enable VisualEditor's experimental code features<br>
#$wgDefaultUserOptions['visualeditor-enable-experimental'] = 1;<br>
<br>
$wgVirtualRestConfig['modules']['parsoid'] = array (<br>
        'url' => 'http://server2.mywikis.net:8000',<br>
        'domain' => 'wiki.carlmontrobotics.org',<br>
);

Widgets for embedding arbitrary HTML

Follow the installation and configuration instructions (I used the Git installation method).

Use the links on the list of currently installed widgets to see how to use them.

To find and install new widgets, see the MediaWikiWidgets.org site. You will need admin or Widget authoring permission to do that.

SyntaxHighlight for syntax highlighting of source code

This comes with our version of MediaWiki. I just needed to do 2 things:

  1. Load the extension by adding wfLoadExtension( 'SyntaxHighlight_GeSHi' ); to ~/public_html/wiki/LocalSettings.php.
  2. Make pygmentize executable by running chmod a+x ~/public_html/wiki/extensions/SyntaxHighlight_GeSHi/pygments/pygmentize.