Demo Studio1 Prod tools
Un lien permet de définir les fichiers émis ou reçus entre un volume et son hub à l'aide d'options et de règles de filtrage rsync.

tools

Filter

Les règles de filtrage rsync sont des listes de motifs permettant d'inclure et d'exclure des fichiers ou des dossiers selon leurs noms et leurs chemins pendant la synchronisation. 
+ fichier_inclus
- fichier_exclu
Vous pouvez trouver plus d'information dans la documentation à propos des filtres rsync . 
# The producer sends the software for the
# pipeline in continuous integration (CI):

+ /tools/
+ /tools/**

# The option: rsync --delete is set (see the
# eraser icon) to have an identical copy at
# destination (local file deletion and
# renaming at source are passed on
# destination)

Options

Rsync propose une grande quantité d'options pour piloter son fonctionnement et contrôler les différents aspects des transferts de fichiers. Vous pouvez trouver plus d'information dans la documentation à propos des options rsync .
--recursive --times --omit-dir-times --update
--compress --progress --stats

Status

  • 15/12/23 11:16:09 GMT
    tools was READ
  • 15/12/23 11:16:09 GMT
    tools process was STARTED
  • 15/12/23 11:18:24 GMT
    tools process ENDED
  • 22/12/24 01:16:05 GMT
    tools process is IDLE

Nom

Identifiant

lnk_01G0J7XSPSE6C93H1B9RRFE9S7
Delete Link ?
This action cannot be undone.

Type "tools" to confirm



							

							

								




	
{
"_id": "lnk_01G0J7XSPSE6C93H1B9RRFE9S7",
"author": "support",
"enable": true,
"include": "# The producer sends the software for the\n# pipeline in continuous integration (CI):\n\n+ /tools/\n+ /tools/**\n\n# The option: rsync --delete is set (see the\n# eraser icon) to have an identical copy at\n# destination (local file deletion and\n# renaming at source are passed on\n# destination)",
"name": "tools",
"rsync_args": "--delete",
"src_id": "vol_01FWEWD03P3J2H98TQ0Y4AXF3H",
"tgt_id": "hub_01FX33ZYB78E9F5FTZMKC96A4P",
"time": 1649879738073,
"timeBegin": "2023-12-15 11:16:09+00:00",
"timeEnd": "2023-12-15 11:18:24+00:00",
"timeRead": "2023-12-15 11:16:09+00:00"
}

	
		 API Reference