Refresh Commercetools access token secrets by asking for a new token. 10 minutes after initial token request the Commercetools API returns a new token.
They both still work until their expiry date.

This component is for AWS, there is also a GCP version

Use the following attributes to configure this component in MACH:

sites:
  - identifier: some site
    components:
    - name: ct-refresher
...

components:
- name: ct-refresher
  source: git::https://github.com/labd/mach-component-aws-commercetools-token-refresher.git//terraform
  version: <git hash of version you want to release>
  integrations: ["aws", "commercetools", "sentry"]

Other components must configure their commercetools secrets with a reference to this refresher.

locals {
  ct_scopes = formatlist("%s:%s", [
    "manage_orders",
    "view_orders",
    "manage_payments",
    "view_payments"
  ], var.ct_project_key)
}

module "ct_secret" {
  source = "git::https://github.com/labd/mach-component-aws-commercetools-token-refresher.git//terraform/secret"

  name   = "<your-component-name>"
  site   = var.site
  scopes = local.ct_scopes

  # Optional; KMS key to use for the secret
  kms_key_id = "<your-kms-key-id>"
}

In your lambda function you can pass the reference to the secretsmanager value as

CT_ACCESS_TOKEN_SECRET_NAME = module.ct_secret.name

By providing VPC information through the variables, the rotator lambda can be run within the VPC;

sites:
  - identifier: some site
    components:
    - name: ct-refresher
      variables:
        vpc:
          id: <your-vpc-id>
          subnet_ids: <your-subnet-ids>
          ingress_subnet: <your-ingress-subnet>

KMS keys can be provided through the kms_keys object;

sites:
  - identifier: some site
    components:
    - name: ct-refresher
      variables:
        kms_keys:
          cloudwatch: <cloudwatch-kms-key>
          lambda: <lambda-kms-key>
          secretmanager: <secretmanager-kms-key>

Like KubeOrbit idea? ⭐ Give us a GitHub Star! ⭐

KubeOrbit is an open-source tool that turns easy apps testing&debuging on Kubernetes in a new way. Our KubeOrbit is meant to create a channel automatically. You can test your cloud-native applications through this channel in a hands-free style.

It solves the following problems during integration tests:

• Under limited resource and restricted environment, developers in a team may be blocked by others who are testing their own functionalities, and it slows down the development progress.
• On the other hand, an unstable feature being deployed to a microservice may cause entire system crash.

From now on, stop testing your application in local infra naively. Also, no more endless efforts in managing various cloud-based test environments.

• KubeOrbit CLI: just using one command, forward the traffic from in-cluster service to local service in a flash, no matter your service discovery is based on Eureka, Consul, Nacos or Kubernetes SVC.
• Protocol support: various protocols based on Layer-7 are supported. HTTP, gRPC, Thrift, Dubbo …
• Workload label: Label your workload by creating a new channel so that your request can be directed to the appropriate workload replica. This enables you to collaborate with your colleagues to test and debug the same feature..

With the following tutorials:

KubeOrbit CLI:

• Getting started
• How to build

We’re a warm and welcoming community of open source contributors. Please join. All types of contributions are welcome. Be sure to read our Contributing Guide before submitting a Pull Request to the project.

Join the KubeOrbit Discord channel to chat with KubeOrbit developers and other users. This is a good place to learn about KubeOrbit, ask questions, and share your experiences.

The KubeOrbit user space components are licensed under the Apache License, Version 2.0.

Like KubeOrbit idea? ⭐ Give us a GitHub Star! ⭐

KubeOrbit is an open-source tool that turns easy apps testing&debuging on Kubernetes in a new way. Our KubeOrbit is meant to create a channel automatically. You can test your cloud-native applications through this channel in a hands-free style.

It solves the following problems during integration tests:

• Under limited resource and restricted environment, developers in a team may be blocked by others who are testing their own functionalities, and it slows down the development progress.
• On the other hand, an unstable feature being deployed to a microservice may cause entire system crash.

From now on, stop testing your application in local infra naively. Also, no more endless efforts in managing various cloud-based test environments.

• KubeOrbit CLI: just using one command, forward the traffic from in-cluster service to local service in a flash, no matter your service discovery is based on Eureka, Consul, Nacos or Kubernetes SVC.
• Protocol support: various protocols based on Layer-7 are supported. HTTP, gRPC, Thrift, Dubbo …
• Workload label: Label your workload by creating a new channel so that your request can be directed to the appropriate workload replica. This enables you to collaborate with your colleagues to test and debug the same feature..

With the following tutorials:

KubeOrbit CLI:

• Getting started
• How to build

We’re a warm and welcoming community of open source contributors. Please join. All types of contributions are welcome. Be sure to read our Contributing Guide before submitting a Pull Request to the project.

Join the KubeOrbit Discord channel to chat with KubeOrbit developers and other users. This is a good place to learn about KubeOrbit, ask questions, and share your experiences.

The KubeOrbit user space components are licensed under the Apache License, Version 2.0.

Robik but it work

• Uses AudioAnalyzer instead of AudioLevel for a smoother visualizer
• Uses WebNowPlaying for browser and Spotify song info
• The weather works
• Right click to center any skin

You might also want to check out Mondtholomew, it’s “Mond but it work”!

Download and install the newest .rmskin package from releases

Can also be installed using Meters on Demand

mond install reisir/robux

Robux uses WebNowPlaying by default. This lets the player skin read information from your browser with a browser extension.

Right click any of the skins to center them or to open the settings file. When you edit the settings remember to save the file and then right click > refresh robux to see changes.

Found in the original code. If anyone can tell me why this exists in the original skin it would be much appreaciated.

; Download.ini
[MeasureNetworkIn]
Measure=NetIn
Interface=Best
MinValue=0
MaxValue=(#MaxDownloadMbits# * 1048576)

[MeasureNetworkInText]
Measure=NetIn
AverageSize=3
Substitute="0":"O"

[MeasureNetworkInDelay]
Measure=Calc
Formula=MeasureNetworkInText

MeasureNetworkInDelay was only used for the string meter, not for the graph. I have no idea what substituting the zeros from NetIn and then running that through a calc measure is supposed to do.

• Original Robik by ApexXx-SenSei
• Weather.com parser by @jsmorley
• Montserrat Monospace font edit by silver on the Rainmeter discord

Eldarica is a model checker for Horn clauses, Numerical Transition
Systems, and software programs. Inputs can be read in a variety of
formats, including SMT-LIB 2 and Prolog for Horn clauses, and fragments of
Scala and C for software programs, and are analysed using a variant of the
Counterexample-Guided Abstraction
Refinement (CEGAR) method. Eldarica is fast and includes sophisticated
interpolation-based techniques for synthesising new predicates for
CEGAR, enabling it to solve a wide range of verification problems.

The Eldarica C parser accepts programs augmented with various primitives
from the timed automata world: supporting concurrency, clocks, communication
channels, as well as analysis of systems with an unbounded number of
processes (parameterised analysis).

There is also a variant of Eldarica for analysing Petri nets: http://www.philipp.ruemmer.org/eldarica-p.shtml

Eldarica has been developed by Hossein Hojjat and Philipp Ruemmer,
with further contributions by Zafer Esen, Filip Konecny, and Pavle Subotic.

There is a simple web interface to experiment with the C interface
of Eldarica:
https://eldarica.org/eldarica

You can either download a binary release of Eldarica, or compile the Scala
code yourself. Since Eldarica uses sbt, compilation is quite
simple: you just need sbt installed on your machine,
and then type sbt assembly to download the compiler, all
required libraries, and produce a binary of Eldarica.

After compilation (or downloading a binary release), calling Eldarica
is normally as easy as saying

./eld regression-tests/horn-smt-lib/rate_limiter.c.nts.smt2

When using a binary release, one can instead also call

java -jar target/scala-2.*/Eldarica-assembly*.jar regression-tests/horn-smt-lib/rate_limiter.c.nts.smt2

A set of examples is provided on https://eldarica.org/eldarica, and included
in the distributions directory regression-tests.

You can use the script eld-client instead of
eld in order to run Eldarica in a server-client mode,
which significantly speeds up processing of multiple problems.

A full list of options can be obtained by calling ./eld -h.

The options -disj, -abstract, -stac can be used to control
predicate generation. For the option -stac to work, it is currently necessary to have Yices (version 1) installed, as this is a dependency of the Flata library.

The option -sym can be used to switch to the symbolic execution engine of Eldarica, which will then be applied instead of CEGAR.

• The canonical Eldarica reference:
  “The Eldarica Horn Solver”
  http://uu.diva-portal.org/smash/get/diva2:1268767/FULLTEXT01.pdf
• An older tool paper covering, among others, Eldarica:
  “A Verification Toolkit for Numerical Transition Systems – Tool Paper.”
  http://link.springer.com/chapter/10.1007%2F978-3-642-32759-9_21
• “Guiding Craig Interpolation with Domain-specific Abstractions”
  http://link.springer.com/article/10.1007%2Fs00236-015-0236-z
• “Accelerating Interpolants”
  http://link.springer.com/chapter/10.1007%2F978-3-642-33386-6_16
• “Disjunctive Interpolants for Horn-Clause Verification”
  http://link.springer.com/chapter/10.1007%2F978-3-642-39799-8_24
• “Exploring interpolants”
  http://dx.doi.org/10.1109/FMCAD.2013.6679393

• A library of Horn clause benchmarks:
  https://github.com/sosy-lab/sv-benchmarks/tree/master/clauses
• Numerical transition system benchmarks:
  http://nts.imag.fr/index.php/Main_Page

A collection of dotfiles, scripts and configurations from @nickgerace.

Before starting, ensure that bash and just are installed on your macOS or Linux system. The “install” recipe will install zsh if you opt to install packages, so it is not required to start.

You will also need to ensure that this repository resides in the $HOME/src/ directory. You may need to create it by executing mkdir $HOME/src.

Once everything looks good, execute the following and you will be presented with some options that you’ll need to choose:

just install

The invoked just recipe runs an idempotent-ish bootstrap script, so you should be able to execute it multiple times. That being said: caution is advised.

Once the initial just recipe is ran, you can update packages and more using the update recipe.

just update

Alternatively, if you run sz or reload your shell, you can run the update function.

update

This section contains questions and answers regarding these dotfiles.

These dotfiles rely on zsh as the interactive shell.

These dotfiles require neither oh-my-zsh nor starship to be installed. Only zsh needs to be installed as all shell-based dotfiles are custom and configured manually.

The script only sets up dotfiles by default. However, for certain Linux distributions and macOS, you can optionally install packages and setup the base system (e.g. install an opinionated set of base packages with a package manager). This is referred to “bootstrapping” in the script.

WSL2 is supported for dotfiles setup, but packages will not be installed for supported distros when running the installer.

Files not recently in use may be out of date. This is a “living” repository, meaning that scripts and dotfiles more frequently in use will be more likely to be kept up to date. Anything not recently or frequently in use will be removed from the repository (eventually).

carpenter is a tool to manage DB schema and data inspired by naoina/migu.
By using this, you can manage the database structures and data as text (JSON, CSV).  carpenter can restore the database structure and data from text, or can export them to text in easy.

supported databases are MySQL|MariaDB only currently

% brew tap dev-cloverlab/carpenter
% brew install carpenter

for Gophers.

% go get -u github.com/dev-cloverlab/carpenter

carpenter has four simple commands are classified database structure and data. For each command is also available to use as indivisually.

design command can export database structure as JSON. By doing below, exports JSON file named table.json to current directory.

% carpenter -s test -d "root:@tcp(127.0.0.1:3306)" design -d ./

When you want to separate files for each tables, you can set -s option.

options:

• -s export JSON files are separated for each table (default off)
• -p pretty output (default off)
• -d export directory path

Each option has alternative long name. Please see the help for details.

build command can restore database structure from JSON files. By doing below, generate the difference SQLs between tables and JSON files and execute them.

% carpenter -s test -d "root:@tcp(127.0.0.1:3306)" build -d .

When you want to just show the generated SQLs, you can set --dry-run global option.

export command can export data as CSV files. By doing below, export data as CSV files for each table.

% carpenter -s test -d "root:@tcp(127.0.0.1:3306)" export -d .

When you want to select exporting tables, you can set regular expression to -r option like below.

% carpenter -s test -d "root:@tcp(127.0.0.1:3306)" export -r "^master_*$" -d .

import command can import CSV files to tables. By doing below, generate the difference SQLs between tables and CSV files and execute them.

% carpenter -s test -d "root:@tcp(127.0.0.1:3306)" import -d .

When you want to just show the generated SQLs, you can set --dry-run global option.

Explain how carpenter syncronizes text and database.

MySQL(MariaDB) has information table that has table, column, index and partition information. carpenter refers that and translate it to JSON, and unmarshal it to struct. Both of structs that are made from database and files can compare each field type and etc. When some difference are found for each field, carpenter generates SQLs for resolve differences.

For example:

// about member table

// database
+-------+--------------+------+
| Field | Type         | Null |
+-------+--------------+------+
| name  | varchar(255) | NO   |
| email | varchar(255) | NO   |
+-------+--------------+------+

// file
+--------+--------------+------+
| Field  | Type         | Null |
+--------+--------------+------+
| name   | varchar(255) | NO   |
| email  | varchar(255) | NO   |
| gender | tinyint(4)   | NO   |
+--------+--------------+------+

To generate this.

alter table `member` add `gender` tinyint(4) not null after `email`

carpenter can generate SQLs at various scenes like:

• CREATE
• DROP
• ALTER
• INSERT
• REPLACE
• DELETE

These SQLs are generated by difference of both information structs.

1. Fork (https://github.com/dev-cloverlab/carpenter/fork)
2. Create a feature branch
3. Commit your changes
4. Rebase your local changes against the master branch
5. Run test suite with the go test ./... command and confirm that it passes
6. Run gofmt -s
7. Create a new Pull Request

@hatajoe

MIT

Meet OPSd. The unique and effortless way of managing cloud infrastructure.

This module provides an Elastic Container Registry Repository.

module "example" {
  source = "github.com/opsd-io/terraform-module-aws-ecr-repository"
  name   = "foobar-service"

  image_tag_mutable = true
  scan_on_push      = true
}

IMPORTANT: Make sure not to pin to master because there may be breaking changes between releases.

No modules.

list(object({
    priority     = number
    description  = optional(string)
    tag_status   = string # "tagged"

Do you want to see how the module works? See all the usage examples.

The list of related modules (if present).

If you are interested in contributing to the project, see see our guide.

If you have a problem with the module or want to propose a new feature, you can report it via the project’s (Github) issue tracker.

If you want to discuss something in person, you can join our community on Slack.

Apache License 2.0

Cross-platform QRCode generator written in pure Swift, aiming to solve the awkward situation that there’s no CIFilter for QRCode generation on Apple Watches.

dependencies: [
    .package(url: "https://github.com/ApolloZhu/swift_qrcodejs.git", from: "2.2.2"),
]

pod 'swift_qrcodejs', '~> 2.2.2'

github "ApolloZhu/swift_qrcodejs" ~> 2.2.2

import QRCodeSwift

guard let qrCode = try? QRCode("Hello World!") else {
    fatalError("Failed to generate QRCode")
}
print(qrCode.toString(filledWith: "##", patchedWith: "  "))

For more, checkout the documentation.

• QRCodeSwiftCLI: lightweight command line tool to generate QRCodes.
• EFQRCode: popular Swift framework that generates stylized QRCode images.
• Apple Watch Bilibili: login onto bilibili with QRCode.

MIT License. Modified based on qrcodejs. See LICENSE and each individual file header for more information.

Cross-platform QRCode generator written in pure Swift, aiming to solve the awkward situation that there’s no CIFilter for QRCode generation on Apple Watches.

dependencies: [
    .package(url: "https://github.com/ApolloZhu/swift_qrcodejs.git", from: "2.2.2"),
]

pod 'swift_qrcodejs', '~> 2.2.2'

github "ApolloZhu/swift_qrcodejs" ~> 2.2.2

import QRCodeSwift

guard let qrCode = try? QRCode("Hello World!") else {
    fatalError("Failed to generate QRCode")
}
print(qrCode.toString(filledWith: "##", patchedWith: "  "))

For more, checkout the documentation.

• QRCodeSwiftCLI: lightweight command line tool to generate QRCodes.
• EFQRCode: popular Swift framework that generates stylized QRCode images.
• Apple Watch Bilibili: login onto bilibili with QRCode.

MIT License. Modified based on qrcodejs.
See LICENSE and each individual file header for more information.