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.

out of disk space / part. ändern

Empfohlene Antworten

hi - hoffe richtige rubrik,

also ich hab mir 3 parts angelegt:

/

/var

/swap

auf /var hab ich am meisten speicher draufgepackt - nu hab ich auf / noch ca. 1G frei. doch wenn ich mal was ins /home/user oder /tmp lege, bin ich gleich out of disk space.

frage:

1: kann ich / im nachhinein mehr speicher geben?

2: oder kann ich ne neue partition zb /home anlegen?

3: kann ich ne 2. platte einbinden und dort nur /home anlegen?

danke euch

Hallo,

2: oder kann ich ne neue partition zb /home anlegen?

3: kann ich ne 2. platte einbinden und dort nur /home anlegen?

Ja beides ist möglich.

Zu 2: wenn auf der Festplatte noch was frei ist, kannst du da eine Partition erstellen und die als /home einbinden.

Erst musst du die Partition natürlich formatieren und binden. Dann den bestehenden /home auf die neue Partition übertragen.

Zu 3: gilt genau das gleiche wie zu 2, nur halt dass hier eine zusätzliche Festplatte dazu kommt.

Ich teile die Festplatte bei meinen Installationen immer so auf:

/

/boot

/home

/tmp

/var

swap

(ab und an noch /usr)

Speicherverteilung hängt immer vom Einsatzgebiet ab.

danke für die antwort - werde wohl möglichkeit 3 nehmen, da ich leider keinen freien speicher mehr habe :(

gruß

akamai

Ich hab jetzt das problem nicht so 100%ig verstanden aber es gibt noch 2 möglichkeiten: Tunefs und parted/gparted

ersteres kann die reserved blocks eines ext2/ext3 FS reduzieren (steht standard auf 5%, was bei 200gb 10gb verschwendeter platz bedeutet!) . Damit bekommt man zumindest ein wenig platz "aus dem nichts".

Die zweite möglichkeit ist gparted (google mal danach, gibts als livecd), um damit ähnlich Partition Magic die Partitionsgrößen zu manipulieren. Sprich du könntest dann aus einer anderen Partition die zu groß dimensioniert ist platz abzweigen und der zu kleinen zuordnen.

Nur mal mein Senf zu der Sache :)

Addendum: Ich hab noch eine idee.

Das ist zwar ein dreckiger Hack, ist aber sicherlich weniger riskant als gparted: leg in deinem /var/ dir ein verzeichnis für home an und bind-mounte dann /home auf /var/home - dadurch verschiebst du dein homedir quasi auf die /var partition. wie gesagt, schön ist das nicht aber in jedem fall besser als an der partitionstabelle mit parted zu schrauben. ;-)

Addendum 2:

Meine aufteilung ist übrigens

/boot - 32M

/swap - 512M

/ - Rest ;) damit komm ich ganz sicher nicht in bedrängnis

Archiv

Dieses Thema wurde archiviert und kann nicht mehr beantwortet werden.

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.