extra/rozsirene-atributy-jedit/build.xml
author František Kučera <franta-hg@frantovo.cz>
Sun, 24 Dec 2023 00:38:41 +0100
branchv_0
changeset 42 d2414701ce09
parent 38 41e91ea94acb
permissions -rw-r--r--
režimy zamykání:

- vypnuté: tlačítko pro zamykání je skryté a soubor se nezamyká
- volitelné: uživatel může soubor zamknout, ale může editovat i bez toho
- povinné: uživatel musí soubor zamknout, aby mohl atributy editovat

Změny v atributech se vždy propisují okamžitě - na ně zámek nemá vliv.
Zámek je na souboru (ne metadatech) a slouží pro kooperující procesy.
Proces, který soubor/metadata čte, si jednak může soubor zamknout (POSIX)
a tím mít jistotu, že zrovna neprobíhá editace.
A jednak může reagovat na notifikace CLOSE_WRITE (inotify).
Notifikaci mu pošleme tím, že soubor odemkneme (čímž se i zavře).
     1 <?xml version="1.0" encoding="UTF-8"?>
     2 <project name="rozsirene-atributy-jedit" default="default" basedir=".">
     3 	<description>Builds, tests, and runs the project rozsirene-atributy-jedit.</description>
     4 	<import file="nbproject/build-impl.xml"/>
     5 	
     6 	<target name="-pre-jar" description="Nakopíruje zkompilované třídy z rozsirene-atributy do JARu modulu pro jEdit.">
     7 		<copy todir="${build.classes.dir}">
     8 			<fileset dir="${build.classes.dir}/../../../rozsirene-atributy/build/classes/"/>
     9 		</copy>
    10 	</target>
    11 	
    12 </project>