View and edit terminal profile settings for font name/size, row size, and column size using a CLI (bash scripting)
-
Updated
Feb 28, 2023 - Shell
View and edit terminal profile settings for font name/size, row size, and column size using a CLI (bash scripting)
A set of Linux home files: profiles, config files, dot files, and other miscellaneous helper files collectively defining my setup.
Makes ICC profiles for handling linear TIFF and digital film negatives available.
example bash script to extract profiles/permissionsets (requires sfdx, unzip, awk)
🦁 brave browser profiles on linux
DMenuWacom is a script that allows you to manage Wacom graphics tablets, allows you to remap keys, create custom profiles and even select a screen of your choice. It is meant for zsh so to run it among the dependencies it requires that too, but actually even if you use bash as the default shell, the important thing is to have zsh installed
A script that allows you to create a portable Firefox profile that you can sync anywhere, e.g with Seafile or Owncloud or Dropbox or some app alike, allowing you to remote kill other instances to prevent corruption of the profile
🖥️ Backup your packages, apps, and configurations directly to git in the form of profiles. Set up any new machine using a profile in one line. Share profiles between multiple machines. Configure auto update, clean-up, and back-up. Works for all linux flavors, Mac OS, and Windows.
🔎 Profiles (mobileconfig files) for macOS.
A fork of the Eclipse project used to generate distributable binaries, extended to include the Eclipse Embedded CDT plug-ins. The archive of previous packages is also here, as Releases.
Add a description, image, and links to the profiles topic page so that developers can more easily learn about it.
To associate your repository with the profiles topic, visit your repo's landing page and select "manage topics."