Files

File permissions

File permissions are stored apropriately in the git database, so that:

• regular files remain with 644 permissions,

• executable scripts and binaries get the 755 permissions.

As long as the chmod command is available in the development environment, the tools/checkrepo.py script checks this rule over the files of the git repository.

Encodings

Encoding is utf-8 for all files.

The encoding is explicitely specified in the first lines of Python scripts through:

# -*- coding: utf-8 -*-

The tools/checkrepo.py script checks this rule over the files of the git repository.