Zum Inhalt springen
View in the app

A better way to browse. Learn more.
Fachinformatiker.de

A full-screen app on your home screen with push notifications, badges and more.

To install this app on iOS and iPadOS
  1. Tap the Share icon in Safari
  2. Scroll the menu and tap Add to Home Screen.
  3. Tap Add in the top-right corner.
To install this app on Android
  1. Tap the 3-dot menu (⋮) in the top-right corner of the browser.
  2. Tap Add to Home screen or Install app.
  3. Confirm by tapping Install.

Batchjob

Gast Thad Miller
Gast Thad Miller
in Windows

Empfohlene Antworten

Wie muß ein Batchjob lauten, der beispielsweise in einer *.ini Datei den Eintrag in z.B. Zeile 17 Zeichen 9-14 editiert oder verändert?

(unter DOS)

Thad

[Dieser Beitrag wurde von Thad Miller am 05. Dezember 2000 editiert.]

Mit cat und sed.

zB. steht in Zeile 17: Name=Loser. Da soll jetzt aber Name=Winner hin.


#!/bin/sh

cat config.ini | sed -e '3s/\(name=\).*/\1Winner/' > config_neu.ini

Das war's.

biggrin.gif PS: Du hast kein Betriebssystem angegeben. Dann gehe ich natürlich von Linux aus biggrin.gif

[Dieser Beitrag wurde von DevilDawn am 05. Dezember 2000 editiert.]

Archiv

Dieses Thema wurde archiviert und kann nicht mehr beantwortet werden.

Zur Themenliste gehen

Configure browser push notifications
Chrome (Android)
  1. Tap the lock icon next to the address bar.
  2. Tap Permissions → Notifications.
  3. Adjust your preference.
Chrome (Desktop)
  1. Click the padlock icon in the address bar.
  2. Select Site settings.
  3. Find Notifications and adjust your preference.