Search Results for "linux app store"

It is a command-line tool designed to store CLI commands for quick access and usage. Think of it as a simple notes app specifically tailored for storing commands using customizable keys. The package is available on PyPi:https://pypi.org/project/command-storage/ For more information, please check out the GitHub repository: https://github.com/ashu-tosh-kumar/command-storage

xLaDe is a simple Python-based CLI tool built for executing and preserving Lean 4 projects. It is an ecosystem-level tool, which records the toolchain and other metadata of projects and allows the reconstruction and rebuilding of that exact environment later. Lean 4 undergoes rapid development, which can introduce backward-compatibility issues. This problem becomes more difficult as the versions accumulate over time. xLaDe is built to mitigate the practical issues of...

Instagram: the app you open to send one message… and suddenly 30 minutes are gone. We all know the cycle — and we finally had enough. What if Instagram had a quick fix? A productivity-friendly mode that keeps your connections, but gives your attention span a fighting chance? No algorithm traps. No reel vortex. No dopamine casino. Just conversations and updates, on your terms. Instagram CLI is a minimal, fast, keyboard-native way to stay connected without getting cooked by social media.

S3cmd (s3cmd) is a free command line tool and client for uploading, retrieving and managing data in Amazon S3 and other cloud storage service providers that use the S3 protocol, such as Google Cloud Storage or DreamHost DreamObjects. It is best suited for power users who are familiar with command-line programs. It is also ideal for batch scripts and automated backup to S3, triggered from cron, etc. S3cmd is written in Python. It's an open-source project available under GNU Public License v2...

A command line tool to download Android applications directly from the Google Play Store by specifying their package name (an initial one-time configuration is required) PlaystoreDownloader is a tool for downloading Android applications directly from the Google Play Store. After an initial (one-time) configuration, applications can be downloaded by specifying their package name. There are two ways of getting a working copy of PlaystoreDownloader on your own computer: either by using Docker...