GoUldI

Please use the website https://mathmlben.wmflabs.org to make changes to the data.

Cite this Work

Please cite our work if you use MathMLben:

@inproceedings{SchubotzGSMCG18,
  author = {Schubotz, Moritz and Greiner-Petter, Andr\'{e} and Scharpf, Philipp and Meuschke, Norman and Cohl, Howard S. and Gipp, Bela},
	address = {Fort Worth, Texas, USA},
	title = {Improving the {Representation} and {Conversion} of {Mathematical} {Formulae} by {Considering} their {Textual} {Context}},
	isbn = {978-1-4503-5178-2},
	url = {https://arxiv.org/abs/1804.04956},
	doi = {10.1145/3197026.3197058},
	booktitle = {Proceedings of the 18th {ACM}/{IEEE} on {Joint} {Conference} on {Digital} {Libraries} ({JCDL})},
	publisher = {ACM},
	month = may,
	year = {2018},
	keywords = {mathml, mathmlben, survey, translation},
	pages = {233--242},
}

notes on deployment

• log in to the server (e.g., drmf-beta)
• run

sudo useradd gouldi
sudo mkdir /srv/gouldi
sudo chown gouldi /srv/gouldi
sudo su gouldi
mkdir "${HOME}/.npm-packages"
echo "prefix=${HOME}/.npm-packages" > ~/.npmrc
vi .bashrc

• Allow gouldi to restart apache

use visudo to add the following config

username ALL = NOPASSWD: /etc/init.d/apache2 

• type Gi to reach the end of the file and switch vi to insert mode and paste the following block

NPM_PACKAGES="${HOME}/.npm-packages"

PATH="$NPM_PACKAGES/bin:$PATH"

# Unset manpath so we can inherit from /etc/manpath via the `manpath` command
unset MANPATH # delete if you already modified MANPATH elsewhere in your config
export MANPATH="$NPM_PACKAGES/share/man:$(manpath)"

• run

npm i -g pm2
git clone https://github.com/ag-gipp/GoUldI
cd GoUldI/
pm2 deploy ecosystem.json production setup

• update

sudo su gouldi
cd GoUldI
git pull
pm2 deploy production update

automatic deployment via webhook

sudo apt-get install apache2-suexec-custom
sudo a2enmod suexec
sudo service apache2 restart

drmf-beta:/etc/apache2/sites-available# cat 100-gouldi-deploy.conf 
Listen 34513 
<VirtualHost *:34513>
ServerName gouldi-deploy.wmflabs.org 
SuexecUserGroup gouldi gouldi
ScriptAlias "/cgi-bin/" "/home/gouldi/GoUldI/"
DocumentRoot /home/gouldi/GoUldI
<Directory /home/gouldi/GoUldI>
Options Indexes FollowSymLinks
AllowOverride None
Require all granted
</Directory>
</VirtualHost>