Till Riedel riedel

Update-AUPackages

UTC: 2025-12-10 03:54 riedel/chocolatey-packages

This file is automatically generated by the update_all.ps1 script using the AU module.

Ignored | History | Force Test | Releases | TESTING AU NEXT VERSION

based on the

Thank you for your interest in contributing to Karlsruhe Intitute of Technology's OSS-AG ("We" or "Us").

	#!/bin/sh
	SSH_AUTH_SOCK=`mktemp -u /tmp/ssh-agent.XXXXXXXXX`

	nohup socat </dev/null >/dev/null 2>&1 UNIX-LISTEN:$SSH_AUTH_SOCK,umask=066,fork EXEC:"npiperelay -ei //./pipe/openssh-ssh-agent",pipes &
	SSH_AGENT_PID=$!
	disown -ah

	if [ -z ${1+x} ]; then
	echo "SSH_AUTH_SOCK=$SSH_AUTH_SOCK;export SSH_AUTH_SOCK;"
	echo "SSH_AGENT_PID=$SSH_AGENT_PID; export SSH_AGENT_PID;"

	from sympy import *

	class DefinitionSet():
	def __init__(self):
	self.__dict__["__dict2__"]={} # for not fully bound ones --> __getattr__

	def __setattr__(self, name, value):
	if name in self.__dict__ or name in self.__dict2__:
	raise TypeError("Immutable: attribute \"%s\" exists"%name)
	else:

	#!/bin/sh
	SOCKDIR=`mktemp.exe -d /tmp/ssh-XXXXXXXXX`

	SSH_AUTH_SOCK=$SOCKDIR/agent.$$;export SSH_AUTH_SOCK;
	[ -z ${1+x} ] && echo "SSH_AUTH_SOCK=$SSH_AUTH_SOCK;export SSH_AUTH_SOCK;"

	socat UNIX-LISTEN:$SSH_AUTH_SOCK,umask=066,fork EXEC:"PLINK.EXE -serial //./pipe/openssh-ssh-agent",pipes &

	SSH_AGENT_PID=$!; export SSH_AGENT_PID;

	#generic InnoSetup package installer
	$packageName = 'winfsp'
	$installerType = 'msi'
	$url = 'https://github.com/billziss-gh/winfsp/releases/download/v1.0RC3/winfsp-1.0.17056.msi'
	$silentArgs = '/qn'
	$validExitCodes = @(0)

	Install-ChocolateyPackage "$packageName" "$installerType" "$silentArgs" "$url" -validExitCodes $validExitCodes

	@namespace url(http://www.mozilla.org/keymaster/gatekeeper/there.is.only.xul);

	#TabsToolbar {

	background: transparent !important;
	background: var(--theme-accent-background) !important;
	border-style: solid !important;
	border-left-width: 0px !important;
	border-left-color: rgba(212,212,212,100) !important;
	border-right-width: 0px !important;