Zusammenfassung

• Seiteneigenschaften (1 geändert, 0 hinzugefügt, 0 gelöscht)

Details

Seiteneigenschaften

Inhalt

...	...	@@ -44,24 +44,24 @@
44	44	: Binärdaten mit der JAR-Datei des Plugins, welches aktualisert oder installiert werden soll.
45	45	; plugin-ident
46	46	: Die Art, wie nach einem vorhandenen Plugin gesucht wird (siehe oben). Folgende Werte sind erlaubt:
47		-;; manifest
48		-;: Identifiziert ein Plugin anhand eines Eintrags im Manifest.
49		-;; id
50		-;: Identifiziert ein Plugin anhand seiner Datenbank-ID.
51		-;; name
52		-;: Identifiziert ein Plugin anhand seines Namens (Dateiname der JAR-Datei)
53		-;; uuid
54		-;: Identifiziert ein Plugin anhand seiner UUID.
	47	+:; manifest
	48	+:: Identifiziert ein Plugin anhand eines Eintrags im Manifest.
	49	+:; id
	50	+:: Identifiziert ein Plugin anhand seiner Datenbank-ID.
	51	+:; name
	52	+:: Identifiziert ein Plugin anhand seines Namens (Dateiname der JAR-Datei)
	53	+:; uuid
	54	+:: Identifiziert ein Plugin anhand seiner UUID.
55	55	; plugin-identifier
56	56	: Identifikator des Plugins, welches aktualisiert oder gelöscht werden soll. Die konkrete Bedeutung dieses Parameters ist abhängig von dem Wert von //plugin-ident//:
57		-;; plugin-ident=manifest
58		-;: //plugin-identifier// muss den Namen der Manifest-Eigenschaft und dessen Wert enthalten, im Format //ATTRIBUTE_NAME=VALUE//. Wird zum Beispiel //Implementation-Title=com.example.fc.plugin:my-plugin// übergeben wird, wird nach einem existierenden Plugin gesucht, welches im Manifest in der Eigenschaft //Implementation-Title// den Wert //com.example.fc.plugin:my-plugin// stehen hat.
59		-;; plugin-ident=id
60		-;: //plugin-identifier// muss die gewünschte ID des Plugins enthalten, etwa //53// oder /893//.
61		-;; plugin-ident=name
62		-;: //plugin-identifier// muss den gewünschten Names des Plugins enthalten, etwa //my-plugin.jar// oder /foobar.jar//.
63		-;; plugin-ident=uuid
64		-;: //plugin-identifier// muss die gewünschte UUID des Plugins enthalten, etwa //03022599-903d-429b-9822-80a324a542fc//.
	57	+:; plugin-ident=manifest
	58	+:: //plugin-identifier// muss den Namen der Manifest-Eigenschaft und dessen Wert enthalten, im Format //ATTRIBUTE_NAME=VALUE//. Wird zum Beispiel //Implementation-Title=com.example.fc.plugin:my-plugin// übergeben wird, wird nach einem existierenden Plugin gesucht, welches im Manifest in der Eigenschaft //Implementation-Title// den Wert //com.example.fc.plugin:my-plugin// stehen hat.
	59	+:; plugin-ident=id
	60	+:: //plugin-identifier// muss die gewünschte ID des Plugins enthalten, etwa //53// oder /893//.
	61	+:; plugin-ident=name
	62	+:: //plugin-identifier// muss den gewünschten Names des Plugins enthalten, etwa //my-plugin.jar// oder /foobar.jar//.
	63	+:; plugin-ident=uuid
	64	+:: //plugin-identifier// muss die gewünschte UUID des Plugins enthalten, etwa //03022599-903d-429b-9822-80a324a542fc//.
65	65	Andernfalls wird das Plugin installiert, falls noch nicht vorhanden, oder aktualisiert, falls vorhanden.
66	66	; clear-properties
67	67	: Entweder //true// oder //false//. Wenn //true//, werden alle Plugin-Eigenschaften entfernt beziehungsweise deren Werte geleert. Dies wird ausgeführt, bevor die neu zu setzenden Plugin-Eigenschaften (Parameter ///property//) angewendet werden.