Nieuws:

We zijn er weer.

Na lange tijd van afwezigheid zijn we er weer  :laugh:
We hebben alle wachtwoorden gereset, je oude wachtwoord werkt niet meer.Je moet via het "wachtwoord vergeten"-linkje je wachtwoord resetten. Je krijgt hiervoor een mailtje op het adres dat je bij ons geregistreerd hebt.

De komende tijd zijn we nog druk bezig om de rest van de site op te bouwen, dus het kan zijn dat sommige onderdelen (tijdelijk) niet werken.

Welkom, Gast. Alsjeblieft inloggen of registreren.
Heb je de activerings-mail niet ontvangen?

Auteur Topic: sources.list aanpassen op server; hoe doe ik dat?  (gelezen 678 keer)

Offline John K

  • Lid
  • Steunpunt: Nee
sources.list aanpassen op server; hoe doe ik dat?
« Gepost op: 2010/01/29, 20:37:25 »
Hoe kan ik bijv. de sources.list aanpassen op een server via Putty of ssh? En wanneer ik met ssh in Putty de server benader, kan ik niet knippen en plakken in terminal, hoe los ik dit op? Een hele sources.list overtypen is nogal een opgaaf!

Mocht je een antwoord hebben, a.u.b is simpele lekentaal!

Groeten John K

Offline joop905

  • Lid
  • Steunpunt: Nee
Re: sources.list aanpassen op server; hoe doe ik dat?
« Reactie #1 Gepost op: 2010/01/29, 23:57:34 »
sudo nano /etc/apt/sources.list
(plakken) Ctrl+Alt+V

« Laatst bewerkt op: 2010/01/30, 00:07:29 door joop905 »

Offline John K

  • Lid
  • Steunpunt: Nee
Re: sources.list aanpassen op server; hoe doe ik dat?
« Reactie #2 Gepost op: 2010/01/30, 10:20:55 »
Bedankt.