Revisions compare

Compare two revisions of: Publish

...	...	@@ -1,9 +1,10 @@
1		-If you change a file in WebMiau, you will most likely want to apply the changes to a Mumie-server. To do this in
2		-WebMiau, you have to follow some steps which are listed below:
	1	+If you change a file in WebMiau, you will most likely want to apply the changes to a MUMIE server. To do this in
	2	+WebMiau, you have to follow the steps listed below:
3	3
4		-First of all you have to add the server to your profile.
5		-You can do this by holding the cursor on the head in the upper left corner. Click profile. Now click on the globe.
6		-There is a little plus in the lower left corner. Here you can add the username and the URL of the server you would like to publish the file to.
	4	+First of all, you have to add the server to your profile.
	5	+You can do this by clicking on the head icon in the upper left corner. Select Profile in the drop down menu and then switch to the tab Server.
	6	+
	7	+Now Enter the URL of the server you would like to add and click on the button Check server. If you have entered a valid server URL, you will see a new prompt to enter your account name. Once you are done, click on Add server to confirm and then on Submit to save your changes.
7	8
8	9	When this is done you can publish your file.
9	10	Go to your file and click on the globe. Select the server you saved before and enter the password (for this server).
...	...	@@ -15,6 +16,18 @@ We highly recommend to not use this option until you are entirely sure that you
15	16	</div>
16	17
17	18
	19	+## Publish to Aufgabenpool
	20	+
	21	+The Aufgabenpool is a special server that doesn't require any username or password. You are automatically authenticated with your WebMiau account. To add this server to your profile, simply open the server settings section of your profile. Enter the following URL ```https://pool.mumie.net/api``` and click on Check server. Save your changes by pressing Submit.
	22	+
	23	+![AddPoolServerToProfile](uploads/images/problempool/add_pool_server_to_profile.gif)
	24	+
	25	+Please keep in mind that only resources published from the directory ```content/pool``` will actually be available on the pool server.
	26	+
	27	+
	28	+
	29	+
	30	+
18	31	<!-- https://mermaidjs.github.io/usage.html -->
19	32
20	33	<div class="mermaid">
21	34

News

Compare two revisions of: Publish