2020-02-09 12:14:28 +01:00
|
|
|
<?xml version="1.0" encoding="UTF-8"?>
|
|
|
|
|
<!DOCTYPE pkgmetadata SYSTEM "http://www.gentoo.org/dtd/metadata.dtd">
|
|
|
|
|
<pkgmetadata>
|
|
|
|
|
<maintainer type="project">
|
|
|
|
|
<email>gnome@gentoo.org</email>
|
|
|
|
|
<name>Gentoo GNOME Desktop</name>
|
|
|
|
|
</maintainer>
|
|
|
|
|
<use>
|
2021-06-12 23:19:46 +02:00
|
|
|
<flag name="icu">
|
|
|
|
|
Enable legacy charset support using <pkg>dev-libs/icu</pkg>
|
|
|
|
|
</flag>
|
|
|
|
|
<flag name="systemd">
|
|
|
|
|
Support moving terminal child processes to their own systemd user
|
|
|
|
|
scopes to avoid terminal getting killed due to child causing
|
|
|
|
|
OOM
|
|
|
|
|
</flag>
|
2020-02-09 23:32:30 +01:00
|
|
|
<flag name="mouse">Enable mouse support.</flag>
|
2020-02-09 12:14:28 +01:00
|
|
|
</use>
|
|
|
|
|
</pkgmetadata>
|
