[debian] initial Debian package management support

This commit is contained in:
Vinicius Moreira
2022-03-10 17:11:19 -03:00
parent 9d88355b5c
commit f6c8ad9553
70 changed files with 4011 additions and 45 deletions

View File

@@ -81,7 +81,6 @@ web.settings.suggestions.cache_exp=Suggestions expiration
web.settings.suggestions.cache_exp.tip=It defines the period (in HOURS) in which suggestions stored on the disk are considered up to date during the initialization process. Use 0 so that they are always updated
web.task.download_settings=Updating environment settings
web.task.search_index=Indexing suggestions
web.task.suggestions=Downloading suggestions
web.task.suggestions.saving=Saving to disk
web.uninstall.error.install_dir.not_found=The installation directory {} was not found
web.uninstall.error.remove_dir=It was not possible to remove {}