edubuntu-menueditor 1.3.5-0ubuntu3 source package in Ubuntu
Changelog
edubuntu-menueditor (1.3.5-0ubuntu3) focal; urgency=medium * Build using python2. -- Matthias Klose <email address hidden> Tue, 14 Jan 2020 21:10:19 +0100
Upload details
- Uploaded by:
- Matthias Klose
- Uploaded to:
- Focal
- Original maintainer:
- Ubuntu MOTU Developers
- Architectures:
- all
- Section:
- misc
- Urgency:
- Medium Urgency
See full publishing history Publishing
| Series | Published | Component | Section | |
|---|---|---|---|---|
| Focal | release | universe | misc |
Downloads
| File | Size | SHA-256 Checksum |
|---|---|---|
| edubuntu-menueditor_1.3.5.orig.tar.gz | 35.3 KiB | 0c9326a904334922d2bb352389367426e4d3081cbc442a80abba641b766097f4 |
| edubuntu-menueditor_1.3.5-0ubuntu3.debian.tar.xz | 6.6 KiB | 97e52217814206d112887d941187b2dbcd06ee3ddcdd765b0d47cababc319ab7 |
| edubuntu-menueditor_1.3.5-0ubuntu3.dsc | 1.9 KiB | 9fabfcdb615d0ffc18fecb80a5d2e3b619afa36fcb2ebb5dbca87f13cceb1450 |
Available diffs
- diff from 1.3.5-0ubuntu2 to 1.3.5-0ubuntu3 (878 bytes)
Binary packages built by this source
- edubuntu-menueditor: Simple ui to manage different menu profiles on a system
This program can be used to apply different profile to user on a system. First,
create a menu archive using menueditor, then apply it with profilemanager.
Those applications can be used to apply menu profiles to groups so the
administrator can manages them for the system instead of managing files in user
home directory.
